Word_ssrZ (p.jasmin.2026.09.0.doc.jasmin.jasmin.Jasmin.Word

val int_to_Z : Ssrint.int -> BinNums.coq_Z

val coq_ZeqbP : BinNums.coq_Z -> BinNums.coq_Z -> Datatypes.reflect

val coq_HB_unnamed_factory_1 : BinNums.coq_Z Eqtype.Coq_hasDecEq.axioms_

val coq_BinNums_Z__canonical__eqtype_Equality : Eqtype.Equality.coq_type

val mod_pow2k : 
  BinNums.positive ->
  Datatypes.nat ->
  (BinNums.coq_N -> 'a1) ->
  'a1

val mod_pow2 : BinNums.positive -> Datatypes.nat -> BinNums.coq_N

val zmod_pow2 : BinNums.coq_Z -> Datatypes.nat -> BinNums.coq_Z

val testbit_pos : BinNums.positive -> Datatypes.nat -> bool

val testbit : BinNums.coq_Z -> Datatypes.nat -> bool