Class UFreeIdent

All Implemented Interfaces:
Unifiable<Tree>, ExpressionTree, IdentifierTree, Tree, TreeVisitor<Choice<Unifier>, Unifier>, Serializable

public abstract class UFreeIdent extends UExpression
Free identifier that can be bound to any expression of the appropriate type.
Author:
lowasser@google.com (Louis Wasserman)
See Also: