package jasmin

  1. Overview
  2. Docs
package jasmin
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module BinPos.Pos

val pred_double : BinNums.positive -> BinNums.positive
type mask = BinPosDef.Pos.mask =
  1. | IsNul
  2. | IsPos of BinNums.positive
  3. | IsNeg
val succ_double_mask : mask -> mask
val double_mask : mask -> mask
val double_pred_mask : BinNums.positive -> mask
val sub_mask_carry : BinNums.positive -> BinNums.positive -> mask
val iter : ('a1 -> 'a1) -> 'a1 -> BinNums.positive -> 'a1
val eqb : BinNums.positive -> BinNums.positive -> bool
val leb : BinNums.positive -> BinNums.positive -> bool
val ltb : BinNums.positive -> BinNums.positive -> bool
val coq_Nsucc_double : BinNums.coq_N -> BinNums.coq_N
val coq_Ndouble : BinNums.coq_N -> BinNums.coq_N
val testbit : BinNums.positive -> BinNums.coq_N -> bool
val iter_op : ('a1 -> 'a1 -> 'a1) -> BinNums.positive -> 'a1 -> 'a1
val of_succ_nat : Datatypes.nat -> BinNums.positive
val eq_dec : BinNums.positive -> BinNums.positive -> bool