Index - O
| onUnion | Grisette.Core.Data.Class.SimpleMergeable, Grisette.Core, Grisette |
| onUnion2 | Grisette.Core.Data.Class.SimpleMergeable, Grisette.Core, Grisette |
| onUnion3 | Grisette.Core.Data.Class.SimpleMergeable, Grisette.Core, Grisette |
| onUnion4 | Grisette.Core.Data.Class.SimpleMergeable, Grisette.Core, Grisette |
| optimizeValidateConstraints | Grisette.Backend.SBV, Grisette |
| OrBitsTerm | Grisette.IR.SymPrim.Data.Prim.InternedTerm.Term, Grisette.Internal.IR.SymPrim |
| orBitsTerm | Grisette.IR.SymPrim.Data.Prim.InternedTerm.InternedCtors |
| OrTerm | Grisette.IR.SymPrim.Data.Prim.InternedTerm.Term, Grisette.Internal.IR.SymPrim |
| orTerm | Grisette.IR.SymPrim.Data.Prim.InternedTerm.InternedCtors |
| Overflow | Grisette.Core.Data.Class.Integer |