Index - I
| 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 |