Module `Ints.NonZeroInt`

type t = private Z.t

val compare : t -> t -> int

exception DivisionNotExact

val one : t
val minus_one : t
val of_big_int : Z.t -> t option
val opt_to_big_int : t option -> Z.t
val is_one : t -> bool
val is_minus_one : t -> bool
val is_multiple : Z.t -> t -> bool
val is_negative : t -> bool
val is_positive : t -> bool
val (~-) : t -> t
val (*) : t -> t -> t
val plus : t -> t -> t option
val exact_div_exn : t -> t -> t
val max : t -> t -> t
val min : t -> t -> t