Ints.PositiveInt
type t
= private NonNegativeInt.t
val compare : t -> t -> int
val one : t
val of_big_int : Z.t -> t option
val succ : t -> t
val pp_exponent : F.formatter -> t -> unit