Module Bindoj_runtime.External_format

module LabelOrdered : sig ... end

This module provides functionalities to handle external format.

module LabelSet : Stdlib.Set.S with type elt = LabelOrdered.t
module LabelMap : Stdlib.Map.S with type key = LabelOrdered.t
type label_set = LabelSet.t
type 'x label_map = 'x LabelMap.t
type ('t, 'ext) codec = {
  1. encode : 't -> 'ext;
  2. decode : 'ext -> 't option;
}
type 't codec' =
  1. | Codec : 'ext external_format * ('t, 'ext) codec -> 't codec'
type 't codecs = 't codec' LabelMap.t