Pos (djot.Djot_kernel.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

type mask = PosDef.Pos.mask =

val succ_double_mask : mask -> mask

val double_mask : mask -> mask

val double_pred_mask : BinNums.positive -> mask

val sub_mask : BinNums.positive -> BinNums.positive -> mask

val sub_mask_carry : BinNums.positive -> BinNums.positive -> mask

val sub : BinNums.positive -> BinNums.positive -> BinNums.positive

val mul : BinNums.positive -> BinNums.positive -> BinNums.positive

val iter : ('a1 -> 'a1) -> 'a1 -> BinNums.positive -> 'a1

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

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

val pow : BinNums.positive -> BinNums.positive -> BinNums.positive

val square : BinNums.positive -> BinNums.positive

val size_nat : BinNums.positive -> int

val size : BinNums.positive -> BinNums.positive

val gcdn : int -> BinNums.positive -> BinNums.positive -> BinNums.positive

val gcd : BinNums.positive -> BinNums.positive -> BinNums.positive

val ggcdn : 
  int ->
  BinNums.positive ->
  BinNums.positive ->
  BinNums.positive * (BinNums.positive * BinNums.positive)

val ggcd : 
  BinNums.positive ->
  BinNums.positive ->
  BinNums.positive * (BinNums.positive * BinNums.positive)

val shiftl : BinNums.positive -> BinNums.coq_N -> BinNums.positive

val testbit_nat : BinNums.positive -> int -> bool

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

val of_uint_acc : Decimal.uint -> BinNums.positive -> BinNums.positive

val of_uint : Decimal.uint -> BinNums.coq_N

val of_hex_uint_acc : Hexadecimal.uint -> BinNums.positive -> BinNums.positive

val of_hex_uint : Hexadecimal.uint -> BinNums.coq_N

val to_little_uint : BinNums.positive -> Decimal.uint

val to_uint : BinNums.positive -> Decimal.uint

val to_little_hex_uint : BinNums.positive -> Hexadecimal.uint

val to_hex_uint : BinNums.positive -> Hexadecimal.uint

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

val peano_rect : 
  'a1 ->
  (BinNums.positive -> 'a1 -> 'a1) ->
  BinNums.positive ->
  'a1