Closed aripiprazole closed 1 year ago
Alt
Alternative
Exp.Var
Variable
Exp
Expression
Exp.Lit
Literal
Lit
Exp.App
Application
Exp.Abs
Abstraction
Pat.Var
Pat
Pattern
Env
Environment
Subst
Substitution
Typ
Type
substOf
substitutionOf
Typer.inst
Typer.instantiate
Environment.extendEnv
Environment.extend
Alt
toAlternative
Exp.Var
toVariable
Exp
toExpression
Exp.Lit
toLiteral
Lit
toLiteral
Exp.App
toApplication
Exp.Abs
toAbstraction
Pat.Var
toVariable
Pat
toPattern
Env
toEnvironment
Subst
toSubstitution
Typ
toType
Type
variants to base typesubstOf
tosubstitutionOf
Typer.inst
toTyper.instantiate
Environment.extendEnv
toEnvironment.extend