Module Bigint__

module Bigint = Bigint
module Zarith : sig ... end