|
Module Type T.
Parameter t : Type.
End T.
Module M : T.
Definition t := unit.
End M.
Fail Module Z : T with Module t := M := M.
Fail Module Z <: T with Module t := M := M.
Fail Declare Module Z : T with Module t := M.
¤ 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.
|
