Ser_opaqueproof (p.coq-serapi.8.15.0+0.15.4.doc.coq-serapi.serlib.Serlib.Ser

Sourcetype 'a opaque = 'a Opaqueproof.opaque

Sourceval sexp_of_opaque : ('a -> Sexplib0.Sexp.t) -> 'a opaque -> Sexplib0.Sexp.t

Sourceval opaque_of_sexp : (Sexplib0.Sexp.t -> 'a) -> Sexplib0.Sexp.t -> 'a opaque

Sourceval opaque_to_yojson : ('a -> Yojson.Safe.t) -> 'a opaque -> Yojson.Safe.t

val opaque_of_yojson : 
  (Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or) ->
  Yojson.Safe.t ->
  'a opaque Ppx_deriving_yojson_runtime.error_or

Source

val hash_fold_opaque : 
  (Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state) ->
  Ppx_hash_lib.Std.Hash.state ->
  'a opaque ->
  Ppx_hash_lib.Std.Hash.state

Sourceval compare_opaque : ('a -> 'a -> int) -> 'a opaque -> 'a opaque -> int

Sourcetype opaquetab = Opaqueproof.opaquetab

Sourceval sexp_of_opaquetab : opaquetab -> Sexplib0.Sexp.t

Sourceval opaquetab_of_sexp : Sexplib0.Sexp.t -> opaquetab

Sourceval opaquetab_to_yojson : opaquetab -> Yojson.Safe.t

Source

val opaquetab_of_yojson : 
  Yojson.Safe.t ->
  opaquetab Ppx_deriving_yojson_runtime.error_or

Source

val hash_fold_opaquetab : 
  Ppx_hash_lib.Std.Hash.state ->
  opaquetab ->
  Ppx_hash_lib.Std.Hash.state

Sourceval hash_opaquetab : opaquetab -> Ppx_hash_lib.Std.Hash.hash_value

Sourceval compare_opaquetab : opaquetab -> opaquetab -> int