package jasmin
Compiler for High-Assurance and High-Speed Cryptography
Install
dune-project
Dependency
Authors
Maintainers
Sources
jasmin-compiler-v2025.06.1.tar.bz2
sha256=e92b42fa69da7c730b0c26dacf842a72b4febcaf4f2157a1dc18b3cce1f859fa
doc/jasmin.jasmin/Jasmin/Word_ssrZ/index.html
Module Jasmin.Word_ssrZ
val int_to_Z : Ssrint.int -> BinNums.coq_Zval coq_Z_to_int : BinNums.coq_Z -> Ssrint.intval 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 coq_HB_unnamed_factory_3 : BinNums.coq_Z Choice.Countable.axioms_val coq_HB_unnamed_mixin_7 : BinNums.coq_Z Choice.Coq_hasChoice.axioms_val coq_HB_unnamed_mixin_8 : BinNums.coq_Z Choice.Choice_isCountable.axioms_val coq_BinNums_Z__canonical__choice_Countable : Choice.Countable.coq_typeval coq_HB_unnamed_factory_9 : BinNums.coq_Z Ssralg.GRing.Coq_isZmodule.axioms_val coq_HB_unnamed_mixin_12 : BinNums.coq_Z Ssralg.GRing.Coq_isNmodule.axioms_val coq_BinNums_Z__canonical__GRing_Nmodule : Ssralg.GRing.Nmodule.coq_typeval coq_HB_unnamed_mixin_13 :
BinNums.coq_Z Ssralg.GRing.Nmodule_isZmodule.axioms_val coq_BinNums_Z__canonical__GRing_Zmodule : Ssralg.GRing.Zmodule.coq_typeval coq_HB_unnamed_factory_14 :
BinNums.coq_Z Ssralg.GRing.Zmodule_isComRing.axioms_val coq_HB_unnamed_mixin_17 :
BinNums.coq_Z Ssralg.GRing.Nmodule_isSemiRing.axioms_val coq_BinNums_Z__canonical__GRing_SemiRing : Ssralg.GRing.SemiRing.coq_typeval coq_HB_unnamed_mixin_18 :
BinNums.coq_Z Ssralg.GRing.SemiRing_hasCommutativeMul.axioms_module ZUnitRing : sig ... endval coq_HB_unnamed_factory_19 :
BinNums.coq_Z Ssralg.GRing.ComRing_hasMulInverse.axioms_val coq_HB_unnamed_mixin_21 :
BinNums.coq_Z Ssralg.GRing.Ring_hasMulInverse.axioms_val coq_HB_unnamed_factory_22 :
BinNums.coq_Z Ssralg.GRing.ComUnitRing_isIntegral.axioms_val coq_BinNums_Z__canonical__GRing_IntegralDomain :
Ssralg.GRing.IntegralDomain.coq_typemodule ZNumDomain : sig ... endval coq_HB_unnamed_factory_24 :
BinNums.coq_Z Ssrnum.Num.IntegralDomain_isLeReal.axioms_val coq_HB_unnamed_mixin_31 : BinNums.coq_Z Order.Order.Coq_isPOrder.axioms_val coq_BinNums_Z__canonical__Order_POrder : Order.Order.POrder.coq_typeval coq_BinNums_Z__canonical__Num_POrderedZmodule :
Ssrnum.Num.POrderedZmodule.coq_type