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