Set_diff (ppx_diff.ppx_diff.diffable.Diffable.Set

module Stable : sig ... end

include module type of Stable.V1 with type 'a Change.t = 'a Stable.V1.Change.t

module Change : sig ... end

type 'a t = 'a Change.t Base.list

include Bin_prot.Binable.S1 with type 'a t := 'a t

val bin_shape_t : Bin_prot.Shape.t -> Bin_prot.Shape.t

include sig ... end

val bin_size_t : 'a. ('a, 'a t) Bin_prot.Size.sizer1

val bin_write_t : 'a. ('a, 'a t) Bin_prot.Write.writer1

val bin_read_t : 'a. ('a, 'a t) Bin_prot.Read.reader1

val __bin_read_t__ : 'a. ('a, 'a t) Bin_prot.Read.vtag_reader1

val bin_writer_t : 'a. ('a, 'a t) Bin_prot.Type_class.S1.writer

val bin_reader_t : 'a. ('a, 'a t) Bin_prot.Type_class.S1.reader

val bin_t : 'a. ('a, 'a t) Bin_prot.Type_class.S1.t

include Ppx_quickcheck_runtime.Quickcheckable.S1 with type 'a t := 'a t

val quickcheck_generator : 
  'a Base_quickcheck.Generator.t ->
  'a t Base_quickcheck.Generator.t

val quickcheck_observer : 
  'a Base_quickcheck.Observer.t ->
  'a t Base_quickcheck.Observer.t

val quickcheck_shrinker : 
  'a Base_quickcheck.Shrinker.t ->
  'a t Base_quickcheck.Shrinker.t

include Sexplib0.Sexpable.S1 with type 'a t := 'a t

val t_of_sexp : 'a. (Sexplib0.Sexp.t -> 'a) -> Sexplib0.Sexp.t -> 'a t

val sexp_of_t : 'a. ('a -> Sexplib0.Sexp.t) -> 'a t -> Sexplib0.Sexp.t

val get : 
  from:('a, 'cmp) Base.Set.t ->
  to_:('a, 'cmp) Base.Set.t ->
  'a t Optional_diff.t @ local

val apply_exn : ('a, 'cmp) Base.Set.t -> 'a t -> ('a, 'cmp) Base.Set.t

val of_list_exn : 'a t Base.list -> 'a t Optional_diff.t @ local

module Make (S : sig ... end) : sig ... end