Module type Bucket.S


module type S = sig .. end

type contents 
type t 
include Sexpable
include Binable
val create : size:contents -> init_level:contents -> t
val level : t -> contents
val take : t -> contents -> [ `Taken | `Unable ]
val take_at_most : t -> contents -> contents
val fill : t -> contents -> unit