Ser_cEphemeron (p.coq-serapi.8.16.0+0.16.1.doc.coq-serapi.serlib.Serlib.Ser

Sourcetype 'a key = 'a CEphemeron.key

Sourcemodule EBiject : sig ... end

Sourcemodule B : sig ... end

Sourceval sexp_of_key : ('a -> Sexplib0.Sexp.t) -> 'a B.t -> Sexplib0.Sexp.t

Sourceval key_of_sexp : (Sexplib0.Sexp.t -> 'a) -> Sexplib0.Sexp.t -> 'a B.t

val key_of_yojson : 
  (Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or) ->
  Yojson.Safe.t ->
  'a B.t Ppx_deriving_yojson_runtime.error_or

Sourceval key_to_yojson : ('a -> Yojson.Safe.t) -> 'a B.t -> Yojson.Safe.t

val hash_fold_key : 
  'a Base__Ppx_hash_lib.hash_fold ->
  'a B.t Base__Ppx_hash_lib.hash_fold

val compare_key : 
  'a Base__Ppx_compare_lib.compare ->
  'a B.t Base__Ppx_compare_lib.compare