public interface FolType extends LFType
static class
FolType.LFDed
LFType.LFArrow, LFType.LFPi
asMMT, label