Sequent

ch

simplify

TermExpr

size

TermExpr

subst

TermExpr

substMap

TermExpr

substNames

TypeExpr

substTypeVar

TermExpr TypeExpr

substituteInto

Sequent