Ser_extend (p.coq-serapi.8.10.0+0.7.1.doc.coq-serapi.serlib.Serlib.Ser

type side = Extend.side

val side_of_sexp : Sexplib.Sexp.t -> side

val sexp_of_side : side -> Sexplib.Sexp.t

type production_position = Extend.production_position

val production_position_of_sexp : Sexplib.Sexp.t -> production_position

val sexp_of_production_position : production_position -> Sexplib.Sexp.t

type production_level = Extend.production_level

val production_level_of_sexp : Sexplib.Sexp.t -> production_level

val sexp_of_production_level : production_level -> Sexplib.Sexp.t

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

val production_level_to_yojson : production_level -> Yojson.Safe.t

type binder_entry_kind = Extend.binder_entry_kind

val binder_entry_kind_of_sexp : Sexplib.Sexp.t -> binder_entry_kind

val sexp_of_binder_entry_kind : binder_entry_kind -> Sexplib.Sexp.t

type '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

type constr_entry_key = Extend.constr_entry_key

val constr_entry_key_of_sexp : Sexplib.Sexp.t -> constr_entry_key

val sexp_of_constr_entry_key : constr_entry_key -> Sexplib.Sexp.t

type constr_prod_entry_key = Extend.constr_prod_entry_key

val constr_prod_entry_key_of_sexp : Sexplib.Sexp.t -> constr_prod_entry_key

val sexp_of_constr_prod_entry_key : constr_prod_entry_key -> Sexplib.Sexp.t

type 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