Sequent
ch
self
AnyOpsEquals
AnyOpsNotEquals
simplify
TermExpr
size
TermExpr
subst
TermExpr
substMap
TermExpr
substNames
TypeExpr
substTypeVar
TermExpr
TypeExpr
substTypeVars
TermExpr
TypeExpr
substituteInto
Sequent