AppE

ch

AtomicTypeExpr

ch

accessor

TermExpr

accessors

NamedConjunctT

additionalPremises

UniRuleLogic

allFreshNames

TermExpr

allOfType

ch

allOfTypeImpl

Macros

allOfTypeImplWithValues

Macros

apply

FreshIdents

applyTo

ForwardRule

applyToVars

TermExpr

arg

AppE

argsMultiUseCount

CurriedE TermExpr