AppE
ch
AtomicTypeExpr
ch
accessor
TermExpr
accessors
NamedConjunctT
additionalPremises
UniRuleLogic
allFreshNames
TermExpr
allOfType
ch
allOfTypeImpl
Macros
allOfTypeImplWithValues
Macros
apply
FreshIdents
Function0Lambda
Function1Lambda
Function2Lambda
Function3Lambda
TermExpr
applyTo
ForwardRule
applyToVars
TermExpr
arg
AppE
argsMultiUseCountDeep
TermExpr
argsMultiUseCountShallow
TermExpr