Module V0.Z

type t = Z.t
val zero : t
val one : t
val succ : t -> t
val abs : t -> t
val neg : t -> t
val add : t -> t -> t
val sub : t -> t -> t
val mul : t -> t -> t
val ediv_rem : t -> t -> t * t
val logand : t -> t -> t
val logor : t -> t -> t
val logxor : t -> t -> t
val lognot : t -> t
val shift_left : t -> int -> t
val shift_right : t -> int -> t
val to_string : t -> string
val of_string : string -> t
val to_int64 : t -> int64
val of_int64 : int64 -> t
val to_int : t -> int
val of_int : int -> t
val to_bits : ?⁠pad_to:int -> t -> MBytes.t
val of_bits : MBytes.t -> t
val equal : t -> t -> bool
val compare : t -> t -> int
val numbits : t -> int