ConjunctE

ch

ConjunctT

ch

ConstructorT

ch

CurriedE

ch

c

Macros

caseObjectName

NamedConjunctT TypeExpr

cases

MatchE TermExpr

ch

chymyst

checkFlattenAssociativity

LawChecking

checkPureFlattenLaws

LawChecking

chymyst

io

combine

Monoid MonoidSyntax

conjunctSize

TypeExpr

constructResultTerm

Sequent

constructor

DisjunctT NamedConjunctT