Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
primitive.v
Sprache: Unknown
|
Section S.
Variable A : Type.
Fail Primitive int : let x := A in Set := #int63_type.
Fail Primitive add := #int63_add.
End S.
(* [Primitive] should be forbidden in sections, otherwise its type after cooking
will be incorrect:
Check int.
*)
[ Dauer der Verarbeitung: 0.0 Sekunden
(vorverarbeitet)
]
|
|
