Module `Serlib.Ser_extend`Source

Sourcetype side = Extend.side

Sourceval side_of_sexp : Sexplib.Sexp.t -> side

Sourceval sexp_of_side : side -> Sexplib.Sexp.t

Sourcetype production_position = Extend.production_position

Sourceval production_position_of_sexp : Sexplib.Sexp.t -> production_position

Sourceval sexp_of_production_position : production_position -> Sexplib.Sexp.t

Sourcetype production_level = Extend.production_level

Sourceval sexp_of_production_level : production_level -> Sexplib0.Sexp.t

Sourceval production_level_of_sexp : Sexplib0.Sexp.t -> production_level

Sourceval production_level_to_yojson : production_level -> Yojson.Safe.t

Source

val production_level_of_yojson : 
  Yojson.Safe.t ->
  production_level Ppx_deriving_yojson_runtime.error_or

Source

val hash_fold_production_level : 
  Ppx_hash_lib.Std.Hash.state ->
  production_level ->
  Ppx_hash_lib.Std.Hash.state

Source

val hash_production_level : 
  production_level ->
  Ppx_hash_lib.Std.Hash.hash_value

Sourceval compare_production_level : production_level -> production_level -> int

Sourcetype binder_entry_kind = Extend.binder_entry_kind

Sourceval binder_entry_kind_of_sexp : Sexplib.Sexp.t -> binder_entry_kind

Sourceval sexp_of_binder_entry_kind : binder_entry_kind -> Sexplib.Sexp.t

Sourcetype 'lev constr_entry_key_gen = 'lev Extend.constr_entry_key_gen

Source

val constr_entry_key_gen_of_sexp : 
  (Sexplib.Sexp.t -> 'lev) ->
  Sexplib.Sexp.t ->
  'lev constr_entry_key_gen

Source

val sexp_of_constr_entry_key_gen : 
  ('lev -> Sexplib.Sexp.t) ->
  'lev constr_entry_key_gen ->
  Sexplib.Sexp.t

Sourcetype constr_entry_key = Extend.constr_entry_key

Sourceval constr_entry_key_of_sexp : Sexplib.Sexp.t -> constr_entry_key

Sourceval sexp_of_constr_entry_key : constr_entry_key -> Sexplib.Sexp.t

Sourcetype constr_prod_entry_key = Extend.constr_prod_entry_key

Sourceval constr_prod_entry_key_of_sexp : Sexplib.Sexp.t -> constr_prod_entry_key

Sourceval sexp_of_constr_prod_entry_key : constr_prod_entry_key -> Sexplib.Sexp.t

Sourcetype simple_constr_prod_entry_key = Extend.simple_constr_prod_entry_key

Source

val sexp_of_simple_constr_prod_entry_key : 
  simple_constr_prod_entry_key ->
  Sexplib0.Sexp.t

Source

val simple_constr_prod_entry_key_of_sexp : 
  Sexplib0.Sexp.t ->
  simple_constr_prod_entry_key

Source

val simple_constr_prod_entry_key_to_yojson : 
  simple_constr_prod_entry_key ->
  Yojson.Safe.t

Source

val simple_constr_prod_entry_key_of_yojson : 
  Yojson.Safe.t ->
  simple_constr_prod_entry_key Ppx_deriving_yojson_runtime.error_or

Source

val hash_fold_simple_constr_prod_entry_key : 
  Ppx_hash_lib.Std.Hash.state ->
  simple_constr_prod_entry_key ->
  Ppx_hash_lib.Std.Hash.state

Source

val hash_simple_constr_prod_entry_key : 
  simple_constr_prod_entry_key ->
  Ppx_hash_lib.Std.Hash.hash_value

Source

val compare_simple_constr_prod_entry_key : 
  simple_constr_prod_entry_key ->
  simple_constr_prod_entry_key ->
  int

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module `Serlib.Ser_extend`Source

package coq-serapi

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module Serlib.Ser_extendSource

Module `Serlib.Ser_extend`Source