module Z2: sig end
val z_initialize : unit -> unit
type t
val from_int : dest:t -> int -> unit
val from_string_base : dest:t -> base:int -> string -> unit
val from_float : dest:t -> float -> unit
val create : unit -> t
val copy : dest:t -> from:t -> unit
val add : dest:t -> t -> t -> unit
val sub : dest:t -> t -> t -> unit
val mul : dest:t -> t -> t -> unit
val tdiv_q : dest:t -> t -> t -> unit
val tdiv_r : dest:t -> t -> t -> unit
val cdiv_q : dest:t -> t -> t -> unit
val cdiv_r : dest:t -> t -> t -> unit
val fdiv_q : dest:t -> t -> t -> unit
val fdiv_r : dest:t -> t -> t -> unit
val divexact : dest:t -> t -> t -> unit
val neg : dest:t -> t -> unit
val abs : dest:t -> t -> unit