Ser_uState (p.coq-serapi.8.10.0+0.7.2.doc.coq-serapi.serlib.Serlib.Ser

type ('a, 'b) gen_universe_decl = ('a, 'b) UState.gen_universe_decl = {

univdecl_instance : 'a;
univdecl_extensible_instance : bool;
univdecl_constraints : 'b;
univdecl_extensible_constraints : bool;

}

val gen_universe_decl_to_yojson : 
  'a 'b. ('a -> Yojson.Safe.t) ->
  ('b -> Yojson.Safe.t) ->
  ('a, 'b) gen_universe_decl ->
  Yojson.Safe.t

val gen_universe_decl_of_yojson : 
  'a 'b. (Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or) ->
  (Yojson.Safe.t -> 'b Ppx_deriving_yojson_runtime.error_or) ->
  Yojson.Safe.t ->
  ('a, 'b) gen_universe_decl Ppx_deriving_yojson_runtime.error_or

val _ : 
  (Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or) ->
  (Yojson.Safe.t -> 'b Ppx_deriving_yojson_runtime.error_or) ->
  Yojson.Safe.t ->
  ('a, 'b) gen_universe_decl Ppx_deriving_yojson_runtime.error_or

val gen_universe_decl_of_sexp : 
  'a 'b. (Ppx_sexp_conv_lib.Sexp.t -> 'a) ->
  (Ppx_sexp_conv_lib.Sexp.t -> 'b) ->
  Ppx_sexp_conv_lib.Sexp.t ->
  ('a, 'b) gen_universe_decl

val sexp_of_gen_universe_decl : 
  'a 'b. ('a -> Ppx_sexp_conv_lib.Sexp.t) ->
  ('b -> Ppx_sexp_conv_lib.Sexp.t) ->
  ('a, 'b) gen_universe_decl ->
  Ppx_sexp_conv_lib.Sexp.t