Identifier | |
1 (Type/Class) | TPDB.Data, TPDB.XTC, TPDB.CPF.Proof.Type |
2 (Data Constructor) | TPDB.Data, TPDB.XTC |
info | TPDB.Xml |
Innermost | TPDB.Data, TPDB.XTC |
input | TPDB.CPF.Proof.Type |
Interpret | |
1 (Type/Class) | TPDB.CPF.Proof.Type |
2 (Data Constructor) | TPDB.CPF.Proof.Type |
Interpretation | |
1 (Type/Class) | TPDB.CPF.Proof.Type |
2 (Data Constructor) | TPDB.CPF.Proof.Type |
3 (Type/Class) | TPDB.Rainbow.Proof.Type |
4 (Data Constructor) | TPDB.Rainbow.Proof.Type |
interpretation | TPDB.CPF.Proof.Type |
Interpretation_Type | TPDB.CPF.Proof.Type |
interpretation_type | TPDB.CPF.Proof.Type |
interprets | TPDB.CPF.Proof.Type |
Int_Mark | TPDB.Rainbow.Proof.Type |
isvar | TPDB.Data.Term, TPDB.Data, TPDB.XTC |