public static class LFTerm.LFApply extends java.lang.Object implements LFTerm
LFTerm.LFApply, LFTerm.LFConst, LFTerm.LFLambda, LFTerm.LFVar
LFTerm
left
right
EQUAL, EXISTS, FORALL
LFApply(LFTerm left, LFTerm right)
java.lang.String
asMMT(int prec)
label()
toString()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
public final LFTerm left
public final LFTerm right
public LFApply(LFTerm left, LFTerm right)
public java.lang.String label()
label
public java.lang.String asMMT(int prec)
asMMT
public java.lang.String toString()
toString
java.lang.Object