module Infixes:sig..end
val (+!) : Gmp.Z.t -> Gmp.Z.t -> Gmp.Z.tval (-!) : Gmp.Z.t -> Gmp.Z.t -> Gmp.Z.tval ( *! ) : Gmp.Z.t -> Gmp.Z.t -> Gmp.Z.tval (/!) : Gmp.Z.t -> Gmp.Z.t -> Gmp.Z.tval (%!) : Gmp.Z.t -> Gmp.Z.t -> Gmp.Z.tval (<!) : Gmp.Z.t -> Gmp.Z.t -> boolval (<=!) : Gmp.Z.t -> Gmp.Z.t -> boolval (=!) : Gmp.Z.t -> Gmp.Z.t -> boolval (>=!) : Gmp.Z.t -> Gmp.Z.t -> boolval (>!) : Gmp.Z.t -> Gmp.Z.t -> boolval (<>!) : Gmp.Z.t -> Gmp.Z.t -> bool