(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)))
¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.1Angebot
Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können
¤
|
Lebenszyklus
Die hierunter aufgelisteten Ziele sind für diese Firma wichtig
Ziele
Entwicklung einer Software für die statische Quellcodeanalyse
|