sig
module type ContentsType =
sig
type t
type sexpable = t
val sexp_of_t : sexpable -> Sexplib.Sexp.t
val t_of_sexp : Sexplib.Sexp.t -> sexpable
type binable = t
val bin_size_t : binable Bin_prot.Size.sizer
val bin_write_t : binable Bin_prot.Map_to_safe.writer
val bin_write_t_ : binable Bin_prot.Unsafe_write_c.writer
val bin_read_t : binable Bin_prot.Read_ml.reader
val bin_read_t_ : binable Bin_prot.Unsafe_read_c.reader
val bin_read_t__ : (int -> binable) Bin_prot.Unsafe_read_c.reader
type comparable = t
val ( >= ) : comparable -> comparable -> bool
val ( <= ) : comparable -> comparable -> bool
val ( = ) : comparable -> comparable -> bool
val ( > ) : comparable -> comparable -> bool
val ( < ) : comparable -> comparable -> bool
val ( <> ) : comparable -> comparable -> bool
val compare : comparable -> comparable -> int
val ascending : comparable -> comparable -> int
val descending : comparable -> comparable -> int
val min : comparable -> comparable -> comparable
val max : comparable -> comparable -> comparable
val zero : t
val add : t -> t -> t
val sub : t -> t -> t
end
module type S =
sig
type contents
type t
type sexpable = t
val sexp_of_t : sexpable -> Sexplib.Sexp.t
val t_of_sexp : Sexplib.Sexp.t -> sexpable
type binable = t
val bin_size_t : binable Bin_prot.Size.sizer
val bin_write_t : binable Bin_prot.Map_to_safe.writer
val bin_write_t_ : binable Bin_prot.Unsafe_write_c.writer
val bin_read_t : binable Bin_prot.Read_ml.reader
val bin_read_t_ : binable Bin_prot.Unsafe_read_c.reader
val bin_read_t__ : (int -> binable) Bin_prot.Unsafe_read_c.reader
val make : 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 -> contents
end
module Make :
functor (C : ContentsType) ->
sig
type contents = C.t
type t = Bucket.Make(C).t
type sexpable = t
val sexp_of_t : sexpable -> Sexplib.Sexp.t
val t_of_sexp : Sexplib.Sexp.t -> sexpable
type binable = t
val bin_size_t : binable Bin_prot.Size.sizer
val bin_write_t : binable Bin_prot.Map_to_safe.writer
val bin_write_t_ : binable Bin_prot.Unsafe_write_c.writer
val bin_read_t : binable Bin_prot.Read_ml.reader
val bin_read_t_ : binable Bin_prot.Unsafe_read_c.reader
val bin_read_t__ : (int -> binable) Bin_prot.Unsafe_read_c.reader
val make : 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 -> contents
end
module Int :
sig
type contents = Std_internal.Int.t
type t = Make(Std_internal.Int).t
type sexpable = t
val sexp_of_t : sexpable -> Sexplib.Sexp.t
val t_of_sexp : Sexplib.Sexp.t -> sexpable
type binable = t
val bin_size_t : binable Bin_prot.Size.sizer
val bin_write_t : binable Bin_prot.Map_to_safe.writer
val bin_write_t_ : binable Bin_prot.Unsafe_write_c.writer
val bin_read_t : binable Bin_prot.Read_ml.reader
val bin_read_t_ : binable Bin_prot.Unsafe_read_c.reader
val bin_read_t__ : (int -> binable) Bin_prot.Unsafe_read_c.reader
val make : 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 -> contents
end
module Int64 :
sig
type contents = Std_internal.Int64.t
type t = Make(Std_internal.Int64).t
type sexpable = t
val sexp_of_t : sexpable -> Sexplib.Sexp.t
val t_of_sexp : Sexplib.Sexp.t -> sexpable
type binable = t
val bin_size_t : binable Bin_prot.Size.sizer
val bin_write_t : binable Bin_prot.Map_to_safe.writer
val bin_write_t_ : binable Bin_prot.Unsafe_write_c.writer
val bin_read_t : binable Bin_prot.Read_ml.reader
val bin_read_t_ : binable Bin_prot.Unsafe_read_c.reader
val bin_read_t__ : (int -> binable) Bin_prot.Unsafe_read_c.reader
val make : 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 -> contents
end
module Float :
sig
type contents = Float.t
type t = Make(Float).t
type sexpable = t
val sexp_of_t : sexpable -> Sexplib.Sexp.t
val t_of_sexp : Sexplib.Sexp.t -> sexpable
type binable = t
val bin_size_t : binable Bin_prot.Size.sizer
val bin_write_t : binable Bin_prot.Map_to_safe.writer
val bin_write_t_ : binable Bin_prot.Unsafe_write_c.writer
val bin_read_t : binable Bin_prot.Read_ml.reader
val bin_read_t_ : binable Bin_prot.Unsafe_read_c.reader
val bin_read_t__ : (int -> binable) Bin_prot.Unsafe_read_c.reader
val make : 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 -> contents
end
end