Set.Difftype t = Elt.t Diffable.Set_diff.tinclude Sexplib0.Sexpable.S with type t := tinclude Sexplib0.Sexpable.Of_sexp with type t := tval t_of_sexp : Sexplib0.Sexp.t -> tinclude Sexplib0.Sexpable.Sexp_of with type t := tval sexp_of_t : t -> Sexplib0.Sexp.tinclude Diffable.Diff.S_plain
with type t := t
and type derived_on = (Elt.t, Elt.comparator_witness) Base.Set.ttype derived_on = (Elt.t, Elt.comparator_witness) Base.Set.tval get :
from:derived_on ->
to_:derived_on ->
t Diffable.Optional_diff.t @ localval apply_exn : derived_on -> t -> derived_onval of_list_exn : t list -> t Diffable.Optional_diff.t @ local