O (definition)
OcamlOps.cardinal2 [in Coq.FSets.FSetFullAVL]
OcamlOps.cardinal_e [in Coq.FSets.FSetFullAVL]
OcamlOps.cardinal_e_2 [in Coq.FSets.FSetFullAVL]
OcamlOps.ocaml_compare [in Coq.FSets.FSetFullAVL]
OcamlOps.ocaml_equal [in Coq.FSets.FSetFullAVL]
OmniscientFunctionalChoice_on [in Coq.Logic.ChoiceFacts]
OmniscientRelationalChoice_on [in Coq.Logic.ChoiceFacts]
On [in Coq.Numbers.Cyclic.Int31.Int31]
one [in Coq.Strings.Ascii]
open_interval [in Coq.Reals.RiemannInt_SF]
open_set [in Coq.Reals.Rtopology]
opp [in Coq.Numbers.Cyclic.DoubleCyclic.DoubleCyclic]
opp_c [in Coq.Numbers.Cyclic.DoubleCyclic.DoubleCyclic]
opp_carry [in Coq.Numbers.Cyclic.DoubleCyclic.DoubleCyclic]
opp_compare [in Coq.Numbers.Natural.BigN.Nbasic]
opp_fct [in Coq.Reals.Ranalysis1]
opp_seq [in Coq.Reals.SeqProp]
option_map [in Coq.Init.Datatypes]
orb [in Coq.Init.Datatypes]
OrderedTypeFacts.eqb [in Coq.FSets.OrderedType]
OrderedTypeFacts.eq_dec [in Coq.FSets.OrderedType]
OrderedTypeFacts.hide_lt [in Coq.FSets.OrderedType]
OrderedType_from_Alt.compare [in Coq.FSets.OrderedTypeAlt]
OrderedType_from_Alt.eq [in Coq.FSets.OrderedTypeAlt]
OrderedType_from_Alt.eq_dec [in Coq.FSets.OrderedTypeAlt]
OrderedType_from_Alt.eq_trans [in Coq.FSets.OrderedTypeAlt]
OrderedType_from_Alt.lt [in Coq.FSets.OrderedTypeAlt]
OrderedType_from_Alt.lt_trans [in Coq.FSets.OrderedTypeAlt]
OrderedType_from_Alt.t [in Coq.FSets.OrderedTypeAlt]
OrderedType_to_Alt.compare [in Coq.FSets.OrderedTypeAlt]
OrderedType_to_Alt.t [in Coq.FSets.OrderedTypeAlt]
ordered_Rlist [in Coq.Reals.RList]
OrdProperties.Above [in Coq.FSets.FSetProperties]
OrdProperties.Above [in Coq.FSets.FMapFacts]
OrdProperties.Below [in Coq.FSets.FMapFacts]
OrdProperties.Below [in Coq.FSets.FSetProperties]
OrdProperties.elements_ge [in Coq.FSets.FMapFacts]
OrdProperties.elements_ge [in Coq.FSets.FSetProperties]
OrdProperties.elements_lt [in Coq.FSets.FSetProperties]
OrdProperties.elements_lt [in Coq.FSets.FMapFacts]
OrdProperties.gtb [in Coq.FSets.FSetProperties]
OrdProperties.gtb [in Coq.FSets.FMapFacts]
OrdProperties.leb [in Coq.FSets.FSetProperties]
OrdProperties.leb [in Coq.FSets.FMapFacts]
OrdProperties.max_elt [in Coq.FSets.FMapFacts]
OrdProperties.max_elt_aux [in Coq.FSets.FMapFacts]
OrdProperties.min_elt [in Coq.FSets.FMapFacts]
or_elim_redl [in Coq.Logic.ClassicalFacts]
or_elim_redr [in Coq.Logic.ClassicalFacts]