Uses of Class
net.hydromatic.morel.util.Unifier.Substitution

Packages that use Unifier.Substitution

Package	Description
net.hydromatic.morel.compile	Validates programs (represented as AstNode), deduces their type, and compiles them into code that can be evaluated.
net.hydromatic.morel.util	Utilities.

Uses of Unifier.Substitution in net.hydromatic.morel.compile

Fields in net.hydromatic.morel.compile declared as Unifier.Substitution

Modifier and Type	Field	Description
(package private) Unifier.Substitution	TypeResolver.TypeMap.substitution

Constructors in net.hydromatic.morel.compile with parameters of type Unifier.Substitution

Constructor	Description
TypeMap(TypeSystem typeSystem, java.util.Map<AstNode,Unifier.Term> nodeTypeTerms, Unifier.Substitution substitution)

Uses of Unifier.Substitution in net.hydromatic.morel.util

Fields in net.hydromatic.morel.util declared as Unifier.Substitution

Modifier and Type	Field	Description
(package private) static Unifier.Substitution	Unifier.EMPTY

Methods in net.hydromatic.morel.util that return Unifier.Substitution

Modifier and Type	Method	Description
Unifier.Substitution	Unifier.Substitution.resolve()
Unifier.Substitution	Unifier.substitution(Unifier.Term... varTerms)	Creates a substitution.