Index - O
| OCPRedPair | TPDB.CPF.Proof.Type |
| OrderingConstraintProof | TPDB.CPF.Proof.Type |
| Origin | TPDB.CPF.Proof.Type |
| origin | TPDB.CPF.Proof.Type |
| Original | TPDB.DP.Transform, TPDB.DP |
| original_variable | TPDB.Data.Rule, TPDB.Data, TPDB.XTC |
| Outermost | TPDB.Data, TPDB.XTC |