package coq-serapi

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type rlevel = Genarg.rlevel
type glevel = Genarg.glevel
type tlevel = Genarg.tlevel
val rlevel_of_sexp : Sexplib.Sexp.t -> rlevel
val sexp_of_rlevel : rlevel -> Sexplib.Sexp.t
val glevel_of_sexp : Sexplib.Sexp.t -> glevel
val sexp_of_glevel : glevel -> Sexplib.Sexp.t
val tlevel_of_sexp : Sexplib.Sexp.t -> tlevel
val sexp_of_tlevel : tlevel -> Sexplib.Sexp.t
type 'a generic_argument = 'a Genarg.generic_argument
val generic_argument_of_sexp : (Sexplib.Sexp.t -> 'a) -> Sexplib.Sexp.t -> 'a Genarg.generic_argument
val sexp_of_generic_argument : ('a -> Sexplib.Sexp.t) -> 'a Genarg.generic_argument -> Sexplib.Sexp.t
type glob_generic_argument = Genarg.glob_generic_argument
val glob_generic_argument_of_sexp : Sexplib.Sexp.t -> Genarg.glob_generic_argument
val sexp_of_glob_generic_argument : Genarg.glob_generic_argument -> Sexplib.Sexp.t
type raw_generic_argument = Genarg.raw_generic_argument
val raw_generic_argument_of_sexp : Sexplib.Sexp.t -> Genarg.raw_generic_argument
val sexp_of_raw_generic_argument : Genarg.raw_generic_argument -> Sexplib.Sexp.t
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. glb_ser : 'glb -> Sexplib.Sexp.t;
  4. glb_des : Sexplib.Sexp.t -> 'glb;
  5. top_ser : 'top -> Sexplib.Sexp.t;
  6. top_des : Sexplib.Sexp.t -> 'top;
}
val register_genser : ('raw, 'glb, 'top) Genarg.genarg_type -> ('raw, 'glb, 'top) gen_ser -> unit
val mk_uniform : ('t -> Sexplib.Sexp.t) -> (Sexplib.Sexp.t -> 't) -> ('t, 't, 't) gen_ser
OCaml

Innovation. Community. Security.