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
[ Dauer der Verarbeitung: 0.3 Sekunden
(vorverarbeitet)
]
