Pos (p.jasmin.2026.09.0.doc.jasmin.jasmin.Jasmin.BinPos.Pos)

val succ : BinNums.positive -> BinNums.positive

val add : BinNums.positive -> BinNums.positive -> BinNums.positive

val add_carry : BinNums.positive -> BinNums.positive -> BinNums.positive

val pred_double : BinNums.positive -> BinNums.positive

val pred_N : BinNums.positive -> BinNums.coq_N

val compare_cont : 
  Datatypes.comparison ->
  BinNums.positive ->
  BinNums.positive ->
  Datatypes.comparison

val compare : BinNums.positive -> BinNums.positive -> Datatypes.comparison

val leb : BinNums.positive -> BinNums.positive -> bool

val coq_Nsucc_double : BinNums.coq_N -> BinNums.coq_N

val size : BinNums.positive -> BinNums.positive

val ltb : BinNums.positive -> BinNums.positive -> bool

val testbit : BinNums.positive -> BinNums.coq_N -> bool

val eq_dec : BinNums.positive -> BinNums.positive -> bool