public static class FolType.LFDed extends java.lang.Object implements FolType
FolType.LFDed
LFType.LFArrow, LFType.LFPi
FolTerm
expr
LFDed()
java.lang.String
asMMT()
label()
toString()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
public FolTerm expr
public LFDed()
public java.lang.String label()
label
LFType
public java.lang.String asMMT()
asMMT
public java.lang.String toString()
toString
java.lang.Object