V2 serializes, compares and hashes the pattern and the all currently known options, except max_mem. If Re2 gained a new option, we would have to mint a V3.t as the V2 format would not support this option. How we support such an upgrade (raise, drop the option, smash the tree) will have to considered then.
include Core.Stable_comparable.With_stable_witness.V1
with type t := t
and type comparator_witness = Re2__.Regex.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_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 Ppx_compare_lib.Comparable.S with type t := tval compare : t Base__Ppx_compare_lib.compareinclude Core.Comparator.Stable.V1.S
with type t := t
with type comparator_witness = Re2__.Regex.comparator_witnessval comparator : (t, comparator_witness) Core.Comparator.Stable.V1.comparatorinclude 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_witness