Ser_extend (p.coq-serapi.8.13.0+0.13.0.doc.coq-serapi.serlib.Serlib.Ser

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 production_level_of_sexp : Sexplib.Sexp.t -> production_level

Sourceval sexp_of_production_level : production_level -> Sexplib.Sexp.t

val production_level_of_yojson : 
  Yojson.Safe.t ->
  (production_level, string) Result.result

Sourceval production_level_to_yojson : production_level -> Yojson.Safe.t

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

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

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

val simple_constr_prod_entry_key_of_sexp : 
  Sexplib.Sexp.t ->
  simple_constr_prod_entry_key

val sexp_of_simple_constr_prod_entry_key : 
  simple_constr_prod_entry_key ->
  Sexplib.Sexp.t

val simple_constr_prod_entry_key_of_yojson : 
  Yojson.Safe.t ->
  (simple_constr_prod_entry_key, string) Result.result

val simple_constr_prod_entry_key_to_yojson : 
  simple_constr_prod_entry_key ->
  Yojson.Safe.t