public interface LFTerm
Modifier and Type | Interface and Description |
---|---|
static class |
LFTerm.LFApply |
static class |
LFTerm.LFConst |
static class |
LFTerm.LFLambda |
static class |
LFTerm.LFVar |
Modifier and Type | Field and Description |
---|---|
static LFTerm.LFConst |
EQUAL |
static LFTerm.LFConst |
EXISTS |
static LFTerm.LFConst |
FORALL |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
asMMT(int prec) |
java.lang.String |
label() |
static final LFTerm.LFConst FORALL
static final LFTerm.LFConst EXISTS
static final LFTerm.LFConst EQUAL