ConjunctE
ch
ConjunctT
ch
ConstructorT
ch
CurriedE
ch
c
Macros
caseObjectName
NamedConjunctT
TypeExpr
cases
MatchE
ch
chymyst
chymyst
io
combine
Monoid
MonoidSyntax
conjunctSize
TypeExpr
conjunctionPermutationScore
TermExpr
constructResultTerm
Sequent
constructor
DisjunctT
NamedConjunctT