Index - I
| Imp | |
| 1 (Data Constructor) | Data.DRS.DataType, Data.DRS |
| 2 (Data Constructor) | Data.FOL.Formula, Data.FOL |
| 3 (Data Constructor) | Data.PDRS.DataType, Data.PDRS |
| isFOLDRS | Data.DRS.Properties, Data.DRS |
| isLambdaDRS | Data.DRS.Structure, Data.DRS |
| isLambdaPDRS | Data.PDRS.Structure, Data.PDRS |
| isMergeDRS | Data.DRS.Structure, Data.DRS |
| isMergePDRS | Data.PDRS.Structure, Data.PDRS |
| isPlainPDRS | Data.PDRS.Properties, Data.PDRS |
| isPresupPDRS | Data.PDRS.Properties, Data.PDRS |
| isProperDRS | Data.DRS.Properties, Data.DRS |
| isProperPDRS | Data.PDRS.Properties, Data.PDRS |
| isPureDRS | Data.DRS.Properties, Data.DRS |
| isPurePDRS | Data.PDRS.Properties, Data.PDRS |
| isResolvedDRS | Data.DRS.Structure, Data.DRS |
| isResolvedPDRS | Data.PDRS.Structure, Data.PDRS |
| isSimplePDRS | Data.PDRS.Properties, Data.PDRS |
| isSubDRS | Data.DRS.Structure, Data.DRS |
| isSubPDRS | Data.PDRS.Structure, Data.PDRS |