|
Inductive foo (V:Type):Type :=
| Foo : list (bar V) -> foo V
with bar (V:Type): Type :=
| bar1: bar V
| bar2 : V -> bar V.
Module WithPoly.
Polymorphic Inductive foo (V:Type):Type :=
| Foo : list (bar V) -> foo V
with bar (V:Type): Type :=
| bar1: bar V
| bar2 : V -> bar V.
End WithPoly.
¤ 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.
|
