Package net.hydromatic.morel.compile
Class TypeResolver.TermVariable
- java.lang.Object
-
- net.hydromatic.morel.compile.TypeResolver.TermVariable
-
- Enclosing class:
- TypeResolver
private static class TypeResolver.TermVariable extends java.lang.ObjectPair consisting of a term and a variable.
-
-
Field Summary
Fields Modifier and Type Field Description (package private) Unifier.Termterm(package private) Unifier.Variablevariable
-
Constructor Summary
Constructors Modifier Constructor Description privateTermVariable(Unifier.Term term, Unifier.Variable variable)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.lang.StringtoString()
-
-
-
Field Detail
-
term
final Unifier.Term term
-
variable
final Unifier.Variable variable
-
-
Constructor Detail
-
TermVariable
private TermVariable(Unifier.Term term, Unifier.Variable variable)
-
-