Stable.V1type nonrec t = tinclude Bin_prot.Binable.S with type t := tinclude Bin_prot.Binable.S_only_functions with type t := tinclude sig ... endinclude Ppx_compare_lib.Comparable.S with type t := tinclude Ppx_compare_lib.Comparable.S__local with type t := tinclude Ppx_compare_lib.Equal.S with type t := tinclude Ppx_compare_lib.Equal.S__local with type t := tinclude Ppx_hash_lib.Hashable.S_any with type t := tval hash_fold_t : t Ppx_hash_lib.hash_foldval hash : t -> Ppx_hash_lib.Std.Hash.hash_valueval t_sexp_grammar : t Sexplib0.Sexp_grammar.t @@ portableval sexp_of_t__stack : t @ local -> Sexplib0.Sexp.t @ localinclude Core.Stable_comparable.With_stable_witness.V1
with type t := t
with type comparator_witness = comparator_witnessval stable_witness : t Ppx_stable_witness_runtime.Stable_witness.tinclude Bin_prot.Binable.S with type t := tinclude Bin_prot.Binable.S_only_functions with type t := tval bin_read_t : t Bin_prot.Read.readerval __bin_read_t__ : t Bin_prot.Read.vtag_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 Ppx_compare_lib.Comparable.S with type t := tinclude Sexplib0.Sexpable.S with type t := tinclude Sexplib0.Sexpable.Of_sexp with type t := tval t_of_sexp : Sexplib0.Sexp.t -> tinclude Sexplib0.Sexpable.Sexp_of with type t := tval sexp_of_t : t -> Sexplib0.Sexp.tinclude Core.Comparator.Stable.V1.S
with type t := t
with type comparator_witness = comparator_witnesstype comparator_witness = comparator_witnessval comparator : (t, comparator_witness) Base.Comparator.tinclude Core.Comparable.Stable.V1.With_stable_witness.S
with type comparable := t
with type comparator_witness := comparator_witnessmodule Map :
Core.Map.Stable.V1.With_stable_witness.S
with type key := t
with type comparator_witness := comparator_witnessmodule Set :
Core.Set.Stable.V1.With_stable_witness.S
with type elt := t
with type elt_comparator_witness := comparator_witnessinclude Core.Hashable.Stable.V1.With_stable_witness.S with type key := tmodule Table : sig ... endmodule Hash_set : sig ... endval hashable : t Base.Hashable.tinclude Diffable.S_atomic with type t := tmodule Diff : sig ... end