Module Diffable.Set_diff
module Stable : sig ... endinclude module type of Diffable.Set_diff.Stable.V1
with type 'a Change.t = 'a Diffable.Set_diff.Stable.V1.Change.t
module Change : sig ... endtype 'a t = 'a Diffable.Set_diff.Change.t Base.listinclude Bin_prot.Binable.S1 with type 'a t := 'a Diffable.Set_diff.t
val bin_shape_t : Bin_prot.Shape.t -> Bin_prot.Shape.tinclude sig ... end
val bin_size_t : 'a. ('a, 'a Diffable.Set_diff.t) Bin_prot.Size.sizer1val bin_write_t : 'a. ('a, 'a Diffable.Set_diff.t) Bin_prot.Write.writer1val bin_read_t : 'a. ('a, 'a Diffable.Set_diff.t) Bin_prot.Read.reader1val __bin_read_t__ :
'a. ('a, 'a Diffable.Set_diff.t) Bin_prot.Read.vtag_reader1val bin_writer_t :
'a. ('a, 'a Diffable.Set_diff.t) Bin_prot.Type_class.S1.writerval bin_reader_t :
'a. ('a, 'a Diffable.Set_diff.t) Bin_prot.Type_class.S1.readerval bin_t : 'a. ('a, 'a Diffable.Set_diff.t) Bin_prot.Type_class.S1.tinclude Ppx_quickcheck_runtime.Quickcheckable.S1
with type 'a t := 'a Diffable.Set_diff.t
val quickcheck_generator :
'a Base_quickcheck.Generator.t ->
'a Diffable.Set_diff.t Base_quickcheck.Generator.tval quickcheck_observer :
'a Base_quickcheck.Observer.t ->
'a Diffable.Set_diff.t Base_quickcheck.Observer.tval quickcheck_shrinker :
'a Base_quickcheck.Shrinker.t ->
'a Diffable.Set_diff.t Base_quickcheck.Shrinker.tinclude Sexplib0.Sexpable.S1 with type 'a t := 'a Diffable.Set_diff.t
val t_of_sexp :
'a. (Sexplib0.Sexp.t -> 'a) ->
Sexplib0.Sexp.t ->
'a Diffable.Set_diff.tval sexp_of_t :
'a. ('a -> Sexplib0.Sexp.t) ->
'a Diffable.Set_diff.t ->
Sexplib0.Sexp.tval get :
from:('a, 'cmp) Base.Set.t ->
to_:('a, 'cmp) Base.Set.t ->
'a Diffable.Set_diff.t Diffable.Optional_diff.t @ localval apply_exn :
('a, 'cmp) Base.Set.t ->
'a Diffable.Set_diff.t ->
('a, 'cmp) Base.Set.tval of_list_exn :
'a Diffable.Set_diff.t Base.list ->
'a Diffable.Set_diff.t Diffable.Optional_diff.t @ local