Ser_genarg (p.coq-lsp.0.2.4+8.20.doc.coq-lsp.serlib.Serlib.Ser

Sourcetype rlevel = Genarg.rlevel

Sourceval sexp_of_rlevel : rlevel -> Sexplib0.Sexp.t

Sourceval rlevel_of_sexp : Sexplib0.Sexp.t -> rlevel

Sourceval rlevel_to_yojson : rlevel -> Yojson.Safe.t

val rlevel_of_yojson : 
  Yojson.Safe.t ->
  rlevel Ppx_deriving_yojson_runtime.error_or

Source

val hash_fold_rlevel : 
  Ppx_hash_lib.Std.Hash.state ->
  rlevel ->
  Ppx_hash_lib.Std.Hash.state

Sourceval hash_rlevel : rlevel -> Ppx_hash_lib.Std.Hash.hash_value

Sourceval compare_rlevel : rlevel -> rlevel -> int

Sourcetype glevel = Genarg.glevel

Sourceval sexp_of_glevel : glevel -> Sexplib0.Sexp.t

Sourceval glevel_of_sexp : Sexplib0.Sexp.t -> glevel

Sourceval glevel_to_yojson : glevel -> Yojson.Safe.t

Source

val glevel_of_yojson : 
  Yojson.Safe.t ->
  glevel Ppx_deriving_yojson_runtime.error_or

Source

val hash_fold_glevel : 
  Ppx_hash_lib.Std.Hash.state ->
  glevel ->
  Ppx_hash_lib.Std.Hash.state

Sourceval hash_glevel : glevel -> Ppx_hash_lib.Std.Hash.hash_value

Sourceval compare_glevel : glevel -> glevel -> int

Sourcetype tlevel = Genarg.tlevel

Sourceval sexp_of_tlevel : tlevel -> Sexplib0.Sexp.t

Sourceval tlevel_of_sexp : Sexplib0.Sexp.t -> tlevel

Sourceval tlevel_to_yojson : tlevel -> Yojson.Safe.t

Source

val tlevel_of_yojson : 
  Yojson.Safe.t ->
  tlevel Ppx_deriving_yojson_runtime.error_or

Source

val hash_fold_tlevel : 
  Ppx_hash_lib.Std.Hash.state ->
  tlevel ->
  Ppx_hash_lib.Std.Hash.state

Sourceval hash_tlevel : tlevel -> Ppx_hash_lib.Std.Hash.hash_value

Sourceval compare_tlevel : tlevel -> tlevel -> int

Sourcetype 'a generic_argument = 'a Genarg.generic_argument

Source

val sexp_of_generic_argument : 
  ('a -> Sexplib0.Sexp.t) ->
  'a generic_argument ->
  Sexplib0.Sexp.t

Source

val generic_argument_of_sexp : 
  (Sexplib0.Sexp.t -> 'a) ->
  Sexplib0.Sexp.t ->
  'a generic_argument

Source

val generic_argument_to_yojson : 
  ('a -> Yojson.Safe.t) ->
  'a generic_argument ->
  Yojson.Safe.t

Source

val generic_argument_of_yojson : 
  (Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or) ->
  Yojson.Safe.t ->
  'a generic_argument Ppx_deriving_yojson_runtime.error_or

Source

val hash_fold_generic_argument : 
  (Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state) ->
  Ppx_hash_lib.Std.Hash.state ->
  'a generic_argument ->
  Ppx_hash_lib.Std.Hash.state

Source

val compare_generic_argument : 
  ('a -> 'a -> int) ->
  'a generic_argument ->
  'a generic_argument ->
  int

Sourcetype glob_generic_argument = Genarg.glob_generic_argument

Sourceval sexp_of_glob_generic_argument : glob_generic_argument -> Sexplib0.Sexp.t

Sourceval glob_generic_argument_of_sexp : Sexplib0.Sexp.t -> glob_generic_argument

Sourceval glob_generic_argument_to_yojson : glob_generic_argument -> Yojson.Safe.t

Source

val glob_generic_argument_of_yojson : 
  Yojson.Safe.t ->
  glob_generic_argument Ppx_deriving_yojson_runtime.error_or

Source

val hash_fold_glob_generic_argument : 
  Ppx_hash_lib.Std.Hash.state ->
  glob_generic_argument ->
  Ppx_hash_lib.Std.Hash.state

Source

val hash_glob_generic_argument : 
  glob_generic_argument ->
  Ppx_hash_lib.Std.Hash.hash_value

Source

val compare_glob_generic_argument : 
  glob_generic_argument ->
  glob_generic_argument ->
  int

Sourcetype raw_generic_argument = Genarg.raw_generic_argument

Sourceval sexp_of_raw_generic_argument : raw_generic_argument -> Sexplib0.Sexp.t

Sourceval raw_generic_argument_of_sexp : Sexplib0.Sexp.t -> raw_generic_argument

Sourceval raw_generic_argument_to_yojson : raw_generic_argument -> Yojson.Safe.t

Source

val raw_generic_argument_of_yojson : 
  Yojson.Safe.t ->
  raw_generic_argument Ppx_deriving_yojson_runtime.error_or

Source

val hash_fold_raw_generic_argument : 
  Ppx_hash_lib.Std.Hash.state ->
  raw_generic_argument ->
  Ppx_hash_lib.Std.Hash.state

Source

val hash_raw_generic_argument : 
  raw_generic_argument ->
  Ppx_hash_lib.Std.Hash.hash_value

Source

val compare_raw_generic_argument : 
  raw_generic_argument ->
  raw_generic_argument ->
  int

Sourcetype typed_generic_argument = Genarg.typed_generic_argument

Source

val typed_generic_argument_of_sexp : 
  Sexplib.Sexp.t ->
  Genarg.typed_generic_argument

Source

val sexp_of_typed_generic_argument : 
  Genarg.typed_generic_argument ->
  Sexplib.Sexp.t

Sourcetype ('raw, 'glb, 'top) gen_ser = {

raw_ser : 'raw -> Sexplib.Sexp.t;
raw_des : Sexplib.Sexp.t -> 'raw;
raw_hash : 'raw Ppx_hash_lib.Std.Hash.folder;
raw_compare : 'raw -> 'raw -> int;
glb_ser : 'glb -> Sexplib.Sexp.t;
glb_des : Sexplib.Sexp.t -> 'glb;
glb_hash : 'glb Ppx_hash_lib.Std.Hash.folder;
glb_compare : 'glb -> 'glb -> int;
top_ser : 'top -> Sexplib.Sexp.t;
top_des : Sexplib.Sexp.t -> 'top;
top_hash : 'top Ppx_hash_lib.Std.Hash.folder;
top_compare : 'top -> 'top -> int;

}

Source

val register_genser : 
  ('raw, 'glb, 'top) Genarg.genarg_type ->
  ('raw, 'glb, 'top) gen_ser ->
  unit

Source

val gen_ser_pair : 
  ('raw1, 'glb1, 'top1) gen_ser ->
  ('raw2, 'glb2, 'top2) gen_ser ->
  ('raw1 * 'raw2, 'glb1 * 'glb2, 'top1 * 'top2) gen_ser

Source

val gen_ser_list : 
  ('raw, 'glb, 'top) gen_ser ->
  ('raw list, 'glb list, 'top list) gen_ser

Source

val mk_uniform : 
  ('t -> Sexplib.Sexp.t) ->
  (Sexplib.Sexp.t -> 't) ->
  't Ppx_hash_lib.Std.Hash.folder ->
  't Ppx_compare_lib.compare ->
  ('t, 't, 't) gen_ser

Source

val mk_vernac_arg : 
  ('t -> Sexplib.Sexp.t) ->
  (Sexplib.Sexp.t -> 't) ->
  't Ppx_hash_lib.Std.Hash.folder ->
  't Ppx_compare_lib.compare ->
  ('t, Util.Empty.t, Util.Empty.t) gen_ser

Sourcemodule type GenSer0 = sig ... end

Sourcemodule GS0 (M : GenSer0) : sig ... end

Sourcemodule GSV (M : GenSer0) : sig ... end

Sourcemodule type GenSer = sig ... end

Sourcemodule GS (M : GenSer) : sig ... end

Sourcemodule type RType = sig ... end

Rocq Ast Analyzers and Synthetizers

Sourcemodule Analyzer : sig ... end