type t = Elt.t Diffable.Set_diff.tinclude Bin_prot.Binable.S with type t := tinclude Bin_prot.Binable.S_only_functions with type t := tval bin_size_t : t Bin_prot.Size.sizerval bin_write_t : t Bin_prot.Write.writerval bin_read_t : t Bin_prot.Read.readerval __bin_read_t__ : (int -> t) Bin_prot.Read.readerThis function only needs implementation if t exposed to be a polymorphic variant. Despite what the type reads, this does *not* produce a function after reading; instead it takes the constructor tag (int) before reading and reads the rest of the variant t afterwards.
val bin_shape_t : Bin_prot.Shape.tval bin_writer_t : t Bin_prot.Type_class.writerval bin_reader_t : t Bin_prot.Type_class.readerval bin_t : t Bin_prot.Type_class.tinclude Sexplib0.Sexpable.S with type t := tval t_of_sexp : Sexplib0.Sexp.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.tval apply_exn : derived_on -> t -> derived_onval of_list_exn : t list -> t Diffable.Optional_diff.t