Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
universes_sections1.v
Sprache: Unknown
|
(* Check that constraints on definitions are preserved by discharging *)
Section A.
Definition Type2 := Type.
Definition Type1 : Type2 := Type.
End A.
Fail Definition Inconsistency : Type1 := Type2.
[ Dauer der Verarbeitung: 0.0 Sekunden
(vorverarbeitet)
]
|
