package core
Module Stable.V1Source
include Bin_prot.Binable.S_local with type t := t
include Bin_prot.Binable.S_local_only_functions with type t := t
include Bin_prot.Binable.S_only_functions with type t := t
include Identifiable_without_binio
with type t := t
and type comparator_witness = comparator_witness
include Stable_comparable.With_stable_witness.V1
with type t := t
with type comparator_witness := comparator_witness
include Bin_prot.Binable.S with type t := t
include Bin_prot.Binable.S_only_functions with type t := t
This 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 Comparator.Stable.V1.S
with type t := t
with type comparator_witness := comparator_witness
include Comparable.Stable.V1.With_stable_witness.S
with type comparable := t
with type comparator_witness := comparator_witness
Source
module Map :
Map.Stable.V1.With_stable_witness.S
with type key := t
with type comparator_witness := comparator_witnessSource
module Set :
Set.Stable.V1.With_stable_witness.S
with type elt := t
with type elt_comparator_witness := comparator_witness