package coq-serapi

  1. Overview
  2. Docs
package coq-serapi
Legend:
Library
Module
Module type
Parameter
Class
Class type
type rlevel = Genarg.rlevel
val sexp_of_rlevel : rlevel -> Sexplib0.Sexp.t
val rlevel_of_sexp : Sexplib0.Sexp.t -> rlevel
val rlevel_to_yojson : rlevel -> Yojson.Safe.t
val hash_fold_rlevel : Ppx_hash_lib.Std.Hash.state -> rlevel -> Ppx_hash_lib.Std.Hash.state
val hash_rlevel : rlevel -> Ppx_hash_lib.Std.Hash.hash_value
val compare_rlevel : rlevel -> rlevel -> int
type glevel = Genarg.glevel
val sexp_of_glevel : glevel -> Sexplib0.Sexp.t
val glevel_of_sexp : Sexplib0.Sexp.t -> glevel
val glevel_to_yojson : glevel -> Yojson.Safe.t
val hash_fold_glevel : Ppx_hash_lib.Std.Hash.state -> glevel -> Ppx_hash_lib.Std.Hash.state
val hash_glevel : glevel -> Ppx_hash_lib.Std.Hash.hash_value
val compare_glevel : glevel -> glevel -> int
type tlevel = Genarg.tlevel
val sexp_of_tlevel : tlevel -> Sexplib0.Sexp.t
val tlevel_of_sexp : Sexplib0.Sexp.t -> tlevel
val tlevel_to_yojson : tlevel -> Yojson.Safe.t
val hash_fold_tlevel : Ppx_hash_lib.Std.Hash.state -> tlevel -> Ppx_hash_lib.Std.Hash.state
val hash_tlevel : tlevel -> Ppx_hash_lib.Std.Hash.hash_value
val compare_tlevel : tlevel -> tlevel -> int
type 'a generic_argument = 'a Genarg.generic_argument
val sexp_of_generic_argument : ('a -> Sexplib0.Sexp.t) -> 'a generic_argument -> Sexplib0.Sexp.t
val generic_argument_of_sexp : (Sexplib0.Sexp.t -> 'a) -> Sexplib0.Sexp.t -> 'a generic_argument
val generic_argument_to_yojson : ('a -> Yojson.Safe.t) -> 'a generic_argument -> Yojson.Safe.t
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
val compare_generic_argument : ('a -> 'a -> int) -> 'a generic_argument -> 'a generic_argument -> int
type glob_generic_argument = Genarg.glob_generic_argument
val sexp_of_glob_generic_argument : glob_generic_argument -> Sexplib0.Sexp.t
val glob_generic_argument_of_sexp : Sexplib0.Sexp.t -> glob_generic_argument
val glob_generic_argument_to_yojson : glob_generic_argument -> Yojson.Safe.t
val hash_fold_glob_generic_argument : Ppx_hash_lib.Std.Hash.state -> glob_generic_argument -> Ppx_hash_lib.Std.Hash.state
val hash_glob_generic_argument : glob_generic_argument -> Ppx_hash_lib.Std.Hash.hash_value
val compare_glob_generic_argument : glob_generic_argument -> glob_generic_argument -> int
type raw_generic_argument = Genarg.raw_generic_argument
val sexp_of_raw_generic_argument : raw_generic_argument -> Sexplib0.Sexp.t
val raw_generic_argument_of_sexp : Sexplib0.Sexp.t -> raw_generic_argument
val raw_generic_argument_to_yojson : raw_generic_argument -> Yojson.Safe.t
val hash_fold_raw_generic_argument : Ppx_hash_lib.Std.Hash.state -> raw_generic_argument -> Ppx_hash_lib.Std.Hash.state
val hash_raw_generic_argument : raw_generic_argument -> Ppx_hash_lib.Std.Hash.hash_value
val compare_raw_generic_argument : raw_generic_argument -> raw_generic_argument -> int
type typed_generic_argument = Genarg.typed_generic_argument
val typed_generic_argument_of_sexp : Sexplib.Sexp.t -> Genarg.typed_generic_argument
val sexp_of_typed_generic_argument : Genarg.typed_generic_argument -> Sexplib.Sexp.t
type ('raw, 'glb, 'top) gen_ser = {
  1. raw_ser : 'raw -> Sexplib.Sexp.t;
  2. raw_des : Sexplib.Sexp.t -> 'raw;
  3. raw_hash : 'raw Ppx_hash_lib.Std.Hash.folder;
  4. raw_compare : 'raw -> 'raw -> int;
  5. glb_ser : 'glb -> Sexplib.Sexp.t;
  6. glb_des : Sexplib.Sexp.t -> 'glb;
  7. glb_hash : 'glb Ppx_hash_lib.Std.Hash.folder;
  8. glb_compare : 'glb -> 'glb -> int;
  9. top_ser : 'top -> Sexplib.Sexp.t;
  10. top_des : Sexplib.Sexp.t -> 'top;
  11. top_hash : 'top Ppx_hash_lib.Std.Hash.folder;
  12. top_compare : 'top -> 'top -> int;
}
val register_genser : ('raw, 'glb, 'top) Genarg.genarg_type -> ('raw, 'glb, 'top) gen_ser -> unit
val gen_ser_pair : ('raw1, 'glb1, 'top1) gen_ser -> ('raw2, 'glb2, 'top2) gen_ser -> ('raw1 * 'raw2, 'glb1 * 'glb2, 'top1 * 'top2) gen_ser
val gen_ser_list : ('raw, 'glb, 'top) gen_ser -> ('raw list, 'glb list, 'top list) gen_ser
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
module type GenSer0 = sig ... end
module GS0 (M : GenSer0) : sig ... end
module type GenSer = sig ... end
module GS (M : GenSer) : sig ... end
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct