O (abbreviation)
OmniscientFunctionalChoice [in OmniscientFunctionalChoice]
OmniscientRelationalChoice [in OmniscientRelationalChoice]
Ops.Bk [in Bk]
Ops.Rd [in Rd]
Ops.treeify_t [in treeify_t]
orb_neg_b [in orb_neg_b]
orb_b_false [in orb_b_false]
orb_b_true [in orb_b_true]
orb_prop2 [in orb_prop2]
orb_true_b [in orb_true_b]
orb_false_b [in orb_false_b]
OrderedTypeFacts.compare_le_iff [in compare_le_iff]
OrderedTypeFacts.compare_ge_iff [in compare_ge_iff]
OrderedTypeFacts.In [in In]
OrderedTypeFacts.Inf [in Inf]
OrderedTypeFacts.NoDup [in NoDup]
OrderedTypeFacts.Sort [in Sort]
OrderedTypeLists.In [in In]
OrderedTypeLists.Inf [in Inf]
OrderedTypeLists.NoDup [in NoDup]
OrderedTypeLists.Sort [in Sort]
OrdProperties.Add [in Add]
OrdProperties.cardinal [in cardinal]
OrdProperties.eqk [in eqk]
OrdProperties.eqke [in eqke]
OrdProperties.Equal [in Equal]
OrdProperties.ltk [in ltk]