A bucket is a simple data structure for holding up to size elements of a given type.
Its actual signature is defined in Core_kernel.Bucket.S.
module type Contents : sig ... endmodule type S : sig ... endmodule Int : sig ... endmodule Int64 : sig ... endmodule Float : sig ... end