module Raw : sig ... end
module Set : Core.Set.S
include sig ... end
val t_of_sexp : (Base.Sexp.t ‑> 'base) ‑> Base.Sexp.t ‑> 'base t
val sexp_of_t : ('base ‑> Base.Sexp.t) ‑> 'base t ‑> Base.Sexp.t
include S_lang with type base t := base t with type set := Set.t
val base : 'base ‑> 'base t
val inter_list : 'b t list ‑> 'b t Core.Or_error.t
val values : 'base t ‑> 'base list
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