LFTerm.LFApply, LFTerm.LFConst, LFTerm.LFLambda, LFTerm.LFVar
Constructor and Description |
---|
LFVar(java.lang.String var,
LFType type) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
asMMT(int prec) |
boolean |
equals(java.lang.Object obj) |
java.lang.String |
label() |
java.lang.String |
toString() |
java.lang.String |
varDelim() |
public final java.lang.String var
public final LFType type
public LFVar(java.lang.String var, LFType type)