|
(groupoid
(fullset_is_groupoid 0
(fullset_is_groupoid-1 nil 3294047665 ("" (grind) nil nil)
((fullset const-decl "set" sets nil)
(member const-decl "bool" sets nil)
(* formal-const-decl "[T, T -> T]" groupoid nil)
(T formal-nonempty-type-decl nil groupoid nil)
(star_closed? const-decl "bool" groupoid_def nil))
shostak))
(groupoid_TCC1 0
(groupoid_TCC1-1 nil 3294047590 ("" (grind) nil nil)
((fullset const-decl "set" sets nil)
(member const-decl "bool" sets nil)
(* formal-const-decl "[T, T -> T]" groupoid nil)
(T formal-nonempty-type-decl nil groupoid nil)
(star_closed? const-decl "bool" groupoid_def nil))
shostak))
(closed 0
(closed-1 nil 3294047676 ("" (grind) nil nil)
((boolean nonempty-type-decl nil booleans nil)
(bool nonempty-type-eq-decl nil booleans nil)
(NOT const-decl "[bool -> bool]" booleans nil)
(T formal-nonempty-type-decl nil groupoid nil)
(set type-eq-decl nil sets nil)
(* formal-const-decl "[T, T -> T]" groupoid nil)
(star_closed? const-decl "bool" groupoid_def nil)
(groupoid nonempty-type-eq-decl nil groupoid nil)
(member const-decl "bool" sets nil))
shostak))
(star_closed 0
(star_closed-1 nil 3405963502 ("" (grind) nil nil)
((boolean nonempty-type-decl nil booleans nil)
(bool nonempty-type-eq-decl nil booleans nil)
(NOT const-decl "[bool -> bool]" booleans nil)
(T formal-nonempty-type-decl nil groupoid nil)
(set type-eq-decl nil sets nil)
(* formal-const-decl "[T, T -> T]" groupoid nil)
(star_closed? const-decl "bool" groupoid_def nil)
(groupoid nonempty-type-eq-decl nil groupoid nil)
(member const-decl "bool" sets nil))
shostak)))
¤ Dauer der Verarbeitung: 0.2 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.
|
