LFTerm.LFApply, LFTerm.LFConst, LFTerm.LFLambda, LFTerm.LFVar
Modifier and Type | Field and Description |
---|---|
LFTerm |
body |
LFTerm.LFVar |
bound |
Constructor and Description |
---|
LFLambda(LFTerm.LFVar bound,
LFTerm body) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
asMMT(int prec) |
java.lang.String |
label() |
static LFTerm |
reducedLambda(LFTerm.LFVar bound,
LFTerm body) |
java.lang.String |
toString() |
public final LFTerm.LFVar bound
public final LFTerm body
public LFLambda(LFTerm.LFVar bound, LFTerm body)
public static LFTerm reducedLambda(LFTerm.LFVar bound, LFTerm body)
public java.lang.String toString()
toString
in class java.lang.Object