Module Funarith_zarith__

module Diophantine_zarith : sig ... end

module Funarith_zarith = Funarith_zarith

module Int_zarith : sig ... end

module Prime_zarith : sig ... end

module Rat_zarith : sig ... end

module Simplex_zarith : sig ... end