Quelle  Qf_extraction.out   Sprache: unbekannt

File "./output/Qf_extraction.v", line 5, characters 11-14:
Warning: The name nat is ambiguous, do you mean module Qf_extraction.nat or
object Corelib.Init.Datatypes.nat ?
First choice is assumed, for the second one please use fully qualified name.
 [extraction-ambiguous-name,extraction,default]
Quickfix:
Replace File "./output/Qf_extraction.v", line 5, characters 11-14 with Qf_extraction.nat
Replace File "./output/Qf_extraction.v", line 5, characters 11-14 with Corelib.Init.Datatypes.nat

module Coq_nat =
 struct
 end