Set.Difftype t = Elt.t Diffable.Set_diff.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