Module type Core_extended.Set_lang_intf.S_binable

module Raw : sig ... end
module Set : Core.Set.S_binable
type 'base t = ('base, Set.t) Raw.t
include sig ... end
val bin_t : 'base Bin_prot.Type_class.t ‑> 'base t Bin_prot.Type_class.t
val bin_read_t : 'base Bin_prot.Read.reader ‑> 'base t Bin_prot.Read.reader
val __bin_read_t__ : 'base Bin_prot.Read.reader ‑> (int ‑> 'base t) Bin_prot.Read.reader
val bin_reader_t : 'base Bin_prot.Type_class.reader ‑> 'base t Bin_prot.Type_class.reader
val bin_size_t : 'base Bin_prot.Size.sizer ‑> 'base t Bin_prot.Size.sizer
val bin_write_t : 'base Bin_prot.Write.writer ‑> 'base t Bin_prot.Write.writer
val bin_writer_t : 'base Bin_prot.Type_class.writer ‑> 'base t Bin_prot.Type_class.writer
val bin_shape_t : Bin_prot.Shape.t ‑> Bin_prot.Shape.t
val t_of_sexp : (Sexplib.Sexp.t ‑> 'base) ‑> Sexplib.Sexp.t ‑> 'base t
val sexp_of_t : ('base ‑> Sexplib.Sexp.t) ‑> 'base t ‑> Sexplib.Sexp.t
val compare : ('base ‑> 'base ‑> int) ‑> 'base t ‑> 'base t ‑> int
include S_lang with type base t := base t with type set := Set.t
type set
type 'base t
val base : 'base ‑> 'base t
val set : set ‑> _ t
val inter2 : 'b t ‑> 'b t ‑> 'b t
val union2 : 'b t ‑> 'b t ‑> 'b t
val diff : 'b t ‑> 'b t ‑> 'b t
val union : 'b t list ‑> 'b t
val inter : ('b t * 'b t list) ‑> 'b t
val inter_list : 'b t list ‑> 'b t Core.Or_error.t
val inter_list_exn : 'b t list ‑> 'b t
val values : 'base t ‑> 'base list
val constant_value : _ t ‑> set option
include S_eval with type base t := base t with type set := set with type a result := a value
type 'base t
type set
type 'a result
val subst : 'b1 t ‑> f:('b1 ‑> 'b2 t result) ‑> 'b2 t result
val map : 'b1 t ‑> f:('b1 ‑> 'b2 result) ‑> 'b2 t result
val specialize : 'b t ‑> f:('b ‑> set option result) ‑> 'b t result
val eval : 'b t ‑> f:('b ‑> set result) ‑> set result
module Make_monadic_eval : functor (M : Core.Monad.S) -> S_eval with type base t := base t with type set := set with type a result := a M.t