public static class LFType.LFArrow extends java.lang.Object implements LFType
LFType.LFArrow, LFType.LFDed, LFType.LFPi, LFType.LFTypeConst
LFType
left
right
CLASS, PROP, SET
LFArrow(LFType left, LFType right)
java.lang.String
asMMT(int prec)
label()
toString()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
public final LFType left
public final LFType right
public LFArrow(LFType left, LFType right)
public java.lang.String label()
label
public java.lang.String asMMT(int prec)
asMMT
public java.lang.String toString()
toString
java.lang.Object