Substitution.Binding

jetbrains.mps.unification
Class Substitution.Binding

java.lang.Object
  jetbrains.mps.unification.Substitution.Binding

Constructor Summary
`Substitution.Binding(Var myVar, Node myNode)`

Method Summary
`Node`	`term()`
`Var`	`var()`

Methods inherited from class java.lang.Object
`clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

Constructor Detail

public Substitution.Binding(Var myVar,
                            Node myNode)

Method Detail

public Var var()

public Node term()