Index - O
| opBox | Data.DRS.Show, Data.DRS |
| opBoxString | Data.DRS.Input.String, Data.DRS.Input, Data.DRS |
| opDiamond | Data.DRS.Show, Data.DRS |
| opDiamondString | Data.DRS.Input.String, Data.DRS.Input, Data.DRS |
| opImp | Data.DRS.Show, Data.DRS |
| opImpString | Data.DRS.Input.String, Data.DRS.Input, Data.DRS |
| opLambda | Data.DRS.Show, Data.DRS |
| opNeg | Data.DRS.Show, Data.DRS |
| opNegString | Data.DRS.Input.String, Data.DRS.Input, Data.DRS |
| opOr | Data.DRS.Show, Data.DRS |
| opOrString | Data.DRS.Input.String, Data.DRS.Input, Data.DRS |
| Or | |
| 1 (Data Constructor) | Data.DRS.DataType, Data.DRS |
| 2 (Data Constructor) | Data.FOL.Formula, Data.FOL |
| 3 (Data Constructor) | Data.PDRS.DataType, Data.PDRS |