|
Parameter compare : forall n m : nat, {n < m} + {n = m} + {n > m}.
Fail Type
match compare 0 0 return nat with
(* k<i *) | left _ (left _ _) => 0
(* k=i *) | left _ _ => 0
(* k>i *) | right _ _ => 0
end.
¤ Dauer der Verarbeitung: 0.15 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
