Module `Serlib.Ser_hints`Source

Sourcetype hint_db_name = Hints.hint_db_name

Sourceval sexp_of_hint_db_name : hint_db_name -> Sexplib0.Sexp.t

Sourceval hint_db_name_of_sexp : Sexplib0.Sexp.t -> hint_db_name

Sourceval hint_db_name_to_yojson : hint_db_name -> Yojson.Safe.t

val hint_db_name_of_yojson : 
  Yojson.Safe.t ->
  hint_db_name Ppx_deriving_yojson_runtime.error_or

Source

val hash_fold_hint_db_name : 
  Ppx_hash_lib.Std.Hash.state ->
  hint_db_name ->
  Ppx_hash_lib.Std.Hash.state

Sourceval hash_hint_db_name : hint_db_name -> Ppx_hash_lib.Std.Hash.hash_value

Sourceval compare_hint_db_name : hint_db_name -> hint_db_name -> int

Sourcetype 'a hints_path_gen = 'a Hints.hints_path_gen

Source

val sexp_of_hints_path_gen : 
  ('a -> Sexplib0.Sexp.t) ->
  'a hints_path_gen ->
  Sexplib0.Sexp.t

Source

val hints_path_gen_of_sexp : 
  (Sexplib0.Sexp.t -> 'a) ->
  Sexplib0.Sexp.t ->
  'a hints_path_gen

Source

val hints_path_gen_to_yojson : 
  ('a -> Yojson.Safe.t) ->
  'a hints_path_gen ->
  Yojson.Safe.t

Source

val hints_path_gen_of_yojson : 
  (Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or) ->
  Yojson.Safe.t ->
  'a hints_path_gen Ppx_deriving_yojson_runtime.error_or

Source

val hash_fold_hints_path_gen : 
  (Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state) ->
  Ppx_hash_lib.Std.Hash.state ->
  'a hints_path_gen ->
  Ppx_hash_lib.Std.Hash.state

Source

val compare_hints_path_gen : 
  ('a -> 'a -> int) ->
  'a hints_path_gen ->
  'a hints_path_gen ->
  int

Sourcetype 'a hints_path_atom_gen = 'a Hints.hints_path_atom_gen

Source

val sexp_of_hints_path_atom_gen : 
  ('a -> Sexplib0.Sexp.t) ->
  'a hints_path_atom_gen ->
  Sexplib0.Sexp.t

Source

val hints_path_atom_gen_of_sexp : 
  (Sexplib0.Sexp.t -> 'a) ->
  Sexplib0.Sexp.t ->
  'a hints_path_atom_gen

Source

val hints_path_atom_gen_to_yojson : 
  ('a -> Yojson.Safe.t) ->
  'a hints_path_atom_gen ->
  Yojson.Safe.t

Source

val hints_path_atom_gen_of_yojson : 
  (Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or) ->
  Yojson.Safe.t ->
  'a hints_path_atom_gen Ppx_deriving_yojson_runtime.error_or

Source

val hash_fold_hints_path_atom_gen : 
  (Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state) ->
  Ppx_hash_lib.Std.Hash.state ->
  'a hints_path_atom_gen ->
  Ppx_hash_lib.Std.Hash.state

Source

val compare_hints_path_atom_gen : 
  ('a -> 'a -> int) ->
  'a hints_path_atom_gen ->
  'a hints_path_atom_gen ->
  int

Sourcetype hints_path = Hints.hints_path

Sourceval sexp_of_hints_path : hints_path -> Sexplib0.Sexp.t

Sourceval hints_path_of_sexp : Sexplib0.Sexp.t -> hints_path

Sourceval hints_path_to_yojson : hints_path -> Yojson.Safe.t

Source

val hints_path_of_yojson : 
  Yojson.Safe.t ->
  hints_path Ppx_deriving_yojson_runtime.error_or

Source

val hash_fold_hints_path : 
  Ppx_hash_lib.Std.Hash.state ->
  hints_path ->
  Ppx_hash_lib.Std.Hash.state

Sourceval hash_hints_path : hints_path -> Ppx_hash_lib.Std.Hash.hash_value

Sourceval compare_hints_path : hints_path -> hints_path -> int

Sourcetype 'a hints_transparency_target = 'a Hints.hints_transparency_target

Source

val sexp_of_hints_transparency_target : 
  ('a -> Sexplib0.Sexp.t) ->
  'a hints_transparency_target ->
  Sexplib0.Sexp.t

Source

val hints_transparency_target_of_sexp : 
  (Sexplib0.Sexp.t -> 'a) ->
  Sexplib0.Sexp.t ->
  'a hints_transparency_target

Source

val hints_transparency_target_to_yojson : 
  ('a -> Yojson.Safe.t) ->
  'a hints_transparency_target ->
  Yojson.Safe.t

Source

val hints_transparency_target_of_yojson : 
  (Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or) ->
  Yojson.Safe.t ->
  'a hints_transparency_target Ppx_deriving_yojson_runtime.error_or

Source

val hash_fold_hints_transparency_target : 
  (Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state) ->
  Ppx_hash_lib.Std.Hash.state ->
  'a hints_transparency_target ->
  Ppx_hash_lib.Std.Hash.state

Source

val compare_hints_transparency_target : 
  ('a -> 'a -> int) ->
  'a hints_transparency_target ->
  'a hints_transparency_target ->
  int

Sourcetype hint_mode = Hints.hint_mode

Sourceval sexp_of_hint_mode : hint_mode -> Sexplib0.Sexp.t

Sourceval hint_mode_of_sexp : Sexplib0.Sexp.t -> hint_mode

Sourceval hint_mode_to_yojson : hint_mode -> Yojson.Safe.t

Source

val hint_mode_of_yojson : 
  Yojson.Safe.t ->
  hint_mode Ppx_deriving_yojson_runtime.error_or

Source

val hash_fold_hint_mode : 
  Ppx_hash_lib.Std.Hash.state ->
  hint_mode ->
  Ppx_hash_lib.Std.Hash.state

Sourceval hash_hint_mode : hint_mode -> Ppx_hash_lib.Std.Hash.hash_value

Sourceval compare_hint_mode : hint_mode -> hint_mode -> int

Install

Dune Dependency

Authors

Maintainers

Sources

doc/coq-serapi.serlib/Serlib/Ser_hints/index.html

Module `Serlib.Ser_hints`Source

package coq-serapi

Install

Dune Dependency

Authors

Maintainers

Sources

doc/coq-serapi.serlib/Serlib/Ser_hints/index.html

Module Serlib.Ser_hintsSource

Module `Serlib.Ser_hints`Source