|
Module Type A .
Tactic Notation "bar" := idtac "ITSME".
End A.
Module Type B.
Tactic Notation "foo" := fail "NOTME".
End B.
Module Type C := A <+ B.
Module Type F (Import M : C).
Lemma foo : True.
Proof.
bar.
Abort.
End F.
¤ 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.
|
