# Module Gmp.Z2

    module Z2: sig .. end

    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