Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
Case15.v
Sprache: Unknown
|
(* Non exhaustive pattern-matching *)
Fail Check
(fun x =>
match x, x with
| O, S (S y) => true
| O, S x => false
| S y, O => true
end).
[ Dauer der Verarbeitung: 0.1 Sekunden
(vorverarbeitet)
]
|
|
