Index - O
| o0 | UtilP, Predicate |
| o02 | UtilP, Predicate |
| o03 | UtilP, Predicate |
| o1 | UtilP, Predicate |
| o2 | UtilP, Predicate |
| o3 | UtilP, Predicate |
| oColor | UtilP, Predicate |
| OctetRE | Refined3Helper |
| Odd | Predicate |
| oDebug | UtilP, Predicate |
| oDisp | UtilP, Predicate |
| oHide | UtilP, Predicate |
| Ok | Refined3Helper |
| OkNot | Refined3Helper |
| OkNotR | Refined3Helper |
| OkR | Refined3Helper |
| ol | UtilP, Predicate |
| olc | UtilP, Predicate |
| oLite | UtilP, Predicate |
| OneP | Predicate |
| Ones | Predicate |
| OR | Predicate |
| OrdA | Predicate |
| OrdA' | Predicate |
| OrderingP | UtilP, Predicate |
| OrdI | Predicate |
| OrdP | Predicate |
| Ors | Predicate |
| Ors' | Predicate |
| OrT | UtilP, Predicate |
| oShowA | UtilP, Predicate |
| ou | UtilP, Predicate |