O (definition)
ocancel [in Corelib.ssr.ssrfun]
odd [in Corelib.Init.Nat]
of_bits [in Corelib.Init.Byte]
of_num_int [in Corelib.Init.Nat]
of_hex_int [in Corelib.Init.Nat]
of_int [in Corelib.Init.Nat]
of_num_uint [in Corelib.Init.Nat]
of_hex_uint [in Corelib.Init.Nat]
of_hex_uint_acc [in Corelib.Init.Nat]
of_uint [in Corelib.Init.Nat]
of_uint_acc [in Corelib.Init.Nat]
of_void [in Corelib.ssr.ssrfun]
of_Z [in Corelib.Numbers.Cyclic.Int63.Uint63Axioms]
of_pos [in Corelib.Numbers.Cyclic.Int63.Uint63Axioms]
of_pos_rec [in Corelib.Numbers.Cyclic.Int63.Uint63Axioms]
of_list [in Corelib.Strings.PrimStringAxioms]
one [in Corelib.Init.Nat]
one [in Corelib.Floats.PrimFloat]
onPhantom [in Corelib.ssr.ssrbool]
opp [in Corelib.Init.Hexadecimal]
opp [in Corelib.Init.Decimal]
option_map [in Corelib.Init.Datatypes]
option_sind [in Corelib.Init.Datatypes]
option_rec [in Corelib.Init.Datatypes]
option_ind [in Corelib.Init.Datatypes]
option_rect [in Corelib.Init.Datatypes]
Option.apply [in Corelib.ssr.ssrfun]
Option.bind [in Corelib.ssr.ssrfun]
Option.default [in Corelib.ssr.ssrfun]
Option.lift [in Corelib.ssr.ssrfun]
Option.map [in Corelib.ssr.ssrfun]
orb [in Corelib.Init.Datatypes]
or_sind [in Corelib.Init.Logic]
or_ind [in Corelib.Init.Logic]
or3_sind [in Corelib.ssr.ssrbool]
or3_ind [in Corelib.ssr.ssrbool]
or4_sind [in Corelib.ssr.ssrbool]
or4_ind [in Corelib.ssr.ssrbool]
over [in Corelib.ssr.ssreflect]