LFType.LFArrow, LFType.LFDed, LFType.LFPi, LFType.LFTypeConst
Modifier and Type | Field and Description |
---|---|
LFType |
body |
LFTerm.LFVar |
bound |
Constructor and Description |
---|
LFPi(LFTerm.LFVar bound,
LFType body) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
asMMT(int prec) |
java.lang.String |
label() |
java.lang.String |
toString() |
public final LFTerm.LFVar bound
public final LFType body
public LFPi(LFTerm.LFVar bound, LFType body)