Jasmin.Word_ssrZval int_to_Z : Ssrint.int -> BinNums.coq_Zval coq_ZeqbP : BinNums.coq_Z -> BinNums.coq_Z -> Bool.reflectval coq_HB_unnamed_factory_1 : BinNums.coq_Z Eqtype.Coq_hasDecEq.axioms_val coq_BinNums_Z__canonical__eqtype_Equality : Eqtype.Equality.coq_typeval mod_pow2 : BinNums.positive -> Datatypes.nat -> BinNums.coq_Nval zmod_pow2 : BinNums.coq_Z -> Datatypes.nat -> BinNums.coq_Z