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/BinPos/Pos/index.html
Module BinPos.Pos
val succ : BinNums.positive -> BinNums.positiveval add : BinNums.positive -> BinNums.positive -> BinNums.positiveval add_carry : BinNums.positive -> BinNums.positive -> BinNums.positiveval pred_double : BinNums.positive -> BinNums.positiveval pred_N : BinNums.positive -> BinNums.coq_Nval double_pred_mask : BinNums.positive -> maskval sub_mask : BinNums.positive -> BinNums.positive -> maskval sub_mask_carry : BinNums.positive -> BinNums.positive -> maskval mul : BinNums.positive -> BinNums.positive -> BinNums.positiveval iter : ('a1 -> 'a1) -> 'a1 -> BinNums.positive -> 'a1val div2 : BinNums.positive -> BinNums.positiveval div2_up : BinNums.positive -> BinNums.positiveval size : BinNums.positive -> BinNums.positiveval compare_cont :
Datatypes.comparison ->
BinNums.positive ->
BinNums.positive ->
Datatypes.comparisonval compare : BinNums.positive -> BinNums.positive -> Datatypes.comparisonval eqb : BinNums.positive -> BinNums.positive -> boolval leb : BinNums.positive -> BinNums.positive -> boolval ltb : BinNums.positive -> BinNums.positive -> boolval coq_Nsucc_double : BinNums.coq_N -> BinNums.coq_Nval coq_Ndouble : BinNums.coq_N -> BinNums.coq_Nval coq_lor : BinNums.positive -> BinNums.positive -> BinNums.positiveval coq_land : BinNums.positive -> BinNums.positive -> BinNums.coq_Nval ldiff : BinNums.positive -> BinNums.positive -> BinNums.coq_Nval coq_lxor : BinNums.positive -> BinNums.positive -> BinNums.coq_Nval testbit : BinNums.positive -> BinNums.coq_N -> boolval iter_op : ('a1 -> 'a1 -> 'a1) -> BinNums.positive -> 'a1 -> 'a1val to_nat : BinNums.positive -> Datatypes.natval of_succ_nat : Datatypes.nat -> BinNums.positiveval eq_dec : BinNums.positive -> BinNums.positive -> bool