|
Inductive I : Set :=
| A : nat -> nat -> I
| B : nat -> nat -> I.
Definition foo1 (x:I) : nat :=
match x with
| A a b | B a b => S b
end.
Definition foo2 (x:I) : nat :=
match x with
| A _ b | B b _ => S b
end.
Definition foo (x:I) : nat :=
match x with
| A a b | B b a => S b
end.
¤ Dauer der Verarbeitung: 0.14 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.
|
