Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/test-suite/output/   (Beweissystem des Inria Version 9.1.0©)  Datei vom 15.8.2025 mit Größe 610 B image not shown  

Quelle  PrintingCoercion.out   Sprache: unbekannt

 
a : C
     : C
File "./output/PrintingCoercion.v", line 25, characters 6-43:
The command has indeed failed with message:
h' cannot be added with locality global.
File "./output/PrintingCoercion.v", line 26, characters 6-46:
The command has indeed failed with message:
h' cannot be added with locality export.
g (f a) : D
     : D
File "./output/PrintingCoercion.v", line 30, characters 6-35:
The command has indeed failed with message:
h is not a coercion.
h' (g (f a)) : D
     : D
g a : C
     : C
h (g (f a)) : D
     : D
f a : C
     : C
f a : C
     : C
a : C
     : C
a : D
     : D
h (g a) : D
     : D

[ Dauer der Verarbeitung: 0.2 Sekunden  (vorverarbeitet)  ]