|
Existing Class True.
Instance foo {n : nat} (x := I) : forall {b : bool} (s : nat * nat), True. auto. Defined.
Fail Check foo (n := 3) true (s := (4 , 5)).
Check foo (n := 3) (b := true) (4 , 5).
¤ Dauer der Verarbeitung: 0.13 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.
|
