public interface LFType
Modifier and Type | Interface and Description |
---|---|
static class |
LFType.LFArrow |
static class |
LFType.LFDed |
static class |
LFType.LFPi |
static class |
LFType.LFTypeConst |
Modifier and Type | Field and Description |
---|---|
static LFType |
CLASS |
static LFType |
PROP |
static LFType |
SET |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
asMMT(int prec) |
java.lang.String |
label() |