Set.Difftype t = Elt.t Diffable.Set_diff.tval t_of_sexp : Sexplib0__.Sexp.t -> tval sexp_of_t : t -> Sexplib0__.Sexp.ttype derived_on = (Elt.t, Elt.comparator_witness) Base.Set.tval get : from:derived_on -> to_:derived_on -> t Diffable__.Optional_diff.tval apply_exn : derived_on -> t -> derived_on