Up

Module Set

Signature

type t
val t_of_sexp : Sexplib.Sexp.t -> t
val sexp_of_t : t -> Sexplib.Sexp.t
val bin_t : t Bin_prot.Type_class.t
val bin_read_t : t Bin_prot.Read.reader
val __bin_read_t__ : (int -> t) Bin_prot.Read.reader
val bin_reader_t : t Bin_prot.Type_class.reader
val bin_size_t : t Bin_prot.Size.sizer
val bin_write_t : t Bin_prot.Write.writer
val bin_writer_t : t Bin_prot.Type_class.writer
type 'a t_ = t
include Gen_set with type 'a t := 'a t_ with type 'a bound := 'a bound_
type 'a t
type 'a bound
type 'a interval
val create : ('a bound * 'a bound) list -> 'a t
val create_from_intervals : 'a interval list -> 'a t
val contains : 'a t -> 'a bound -> bool
val contains_set : container:'a t -> contained:'a t -> bool
val ubound_exn : 'a t -> 'a bound
val lbound_exn : 'a t -> 'a bound
val ubound : 'a t -> 'a bound option
val lbound : 'a t -> 'a bound option
val to_poly : t -> bound poly_set