LFTerm.LFApply, LFTerm.LFConst, LFTerm.LFLambda, LFTerm.LFVar
Modifier and Type | Field and Description |
---|---|
java.lang.String |
label |
Constructor and Description |
---|
LFConst(java.lang.String label) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
asMMT(int prec) |
java.lang.String |
label() |
java.lang.String |
toString() |