B (abbreviation)
BalanceProps.Bk [in Coq.MSets.MSetRBT]
BalanceProps.Rd [in Coq.MSets.MSetRBT]
beq_nat_false_iff [in Coq.Arith.EqNat]
beq_nat_true_iff [in Coq.Arith.EqNat]
beq_nat [in Coq.Arith.EqNat]
BijectivityBijectiveComp [in Coq.Logic.ExtensionalityFacts]
bit [in Coq.Numbers.Cyclic.Int63.Int63]
bitE [in Coq.Numbers.Cyclic.Int63.Int63]
bitwise [in Coq.Numbers.Natural.Peano.NPeano]
bit_add_or [in Coq.Numbers.Cyclic.Int63.Int63]
bit_0 [in Coq.Numbers.Cyclic.Int63.Int63]
bit_lsl [in Coq.Numbers.Cyclic.Int63.Int63]
bit_ext [in Coq.Numbers.Cyclic.Int63.Int63]
bit_half [in Coq.Numbers.Cyclic.Int63.Int63]
bit_M [in Coq.Numbers.Cyclic.Int63.Int63]
bit_1 [in Coq.Numbers.Cyclic.Int63.Int63]
bit_b2i [in Coq.Numbers.Cyclic.Int63.Int63]
bit_lsr [in Coq.Numbers.Cyclic.Int63.Int63]
bit_split [in Coq.Numbers.Cyclic.Int63.Int63]
bit_0_spec [in Coq.Numbers.Cyclic.Int63.Int63]
Bnth [in Coq.NArith.Ndigits]
bool_6 [in Coq.Bool.Bool]
bool_3 [in Coq.Bool.Bool]
bool_1 [in Coq.Bool.Bool]
b2i [in Coq.Numbers.Cyclic.Int63.Int63]