|
Section foo.
Variable f : forall n : nat, nat.
Arguments f {_}.
Check f (n := 3).
Global Arguments f {bar} : rename.
End foo.
Section foo.
Variable f : forall n : nat, nat.
Arguments f {_}.
Fail Check f (bar := 3).
End foo.
¤ Dauer der Verarbeitung: 0.16 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.
|
