|
Module Type Interface.
Parameter error: nat.
End Interface.
Module Implementation <: Interface.
Definition t := bool.
Definition error: t := false.
Fail End Implementation.
(* A UserError here is expected, not an uncaught Not_found *)
Reset error.
Definition error := 0.
End Implementation.
¤ 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.
|
