Module Bucket = Bucket

module type Contents = sig .. end

module type S = sig .. end

module Make (C : Contents) : S with type contents = C.t

module Int : sig .. end

module Int64 : sig .. end

module Float : sig .. end