module type S =sig..end
type contents
type t
include Sexpable
include Binable
val make : size:contents -> init_level:contents -> tval level : t -> contentsval take : t -> contents -> [ `Taken | `Unable ]val take_at_most : t -> contents -> contentsval fill : t -> contents -> contents