Set.DiffSourceinclude Bin_prot.Binable.S with type t := tinclude Bin_prot.Binable.S_only_functions with type t := tThis 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.
include Diffable.Diff.S_plain
with type t := t
and type derived_on = (Elt.t, Elt.comparator_witness) Base.Set.t