include Core_kernel.Validated.S with type raw := Core_kernel.Int.Set.t
type witnesstype t = ('a, 'b) Core_kernel.Validated.t
include Ppx_sexp_conv_lib.Sexpable.S with type t := t
val t_of_sexp : Sexplib0.Sexp.t -> tval sexp_of_t : t -> Sexplib0.Sexp.t
val create : Core_kernel.Int.Set.t -> t Core_kernel.Or_error.tval create_exn : Core_kernel.Int.Set.t -> tval raw : t -> Core_kernel.Int.Set.t
include Core_kernel.Equal.S with type t := t
val equal : t Core_kernel.Equal.equal