private static class TacletGenerator.TermAndBoundVarPair
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
ImmutableSet<VariableSV> |
boundVars |
Term |
term |
Constructor and Description |
---|
TermAndBoundVarPair(Term term,
ImmutableSet<VariableSV> boundVars) |
public Term term
public ImmutableSet<VariableSV> boundVars
public TermAndBoundVarPair(Term term, ImmutableSet<VariableSV> boundVars)