package coq-serapi

  1. Overview
  2. Docs
package coq-serapi
Legend:
Library
Module
Module type
Parameter
Class
Class type
type 'a red_atom = 'a Genredexpr.red_atom
val red_atom_of_sexp : (Sexplib.Sexp.t -> 'a) -> Sexplib.Sexp.t -> 'a red_atom
val sexp_of_red_atom : ('a -> Sexplib.Sexp.t) -> 'a red_atom -> Sexplib.Sexp.t
type 'a glob_red_flag = 'a Genredexpr.glob_red_flag
val glob_red_flag_of_sexp : (Sexplib.Sexp.t -> 'a) -> Sexplib.Sexp.t -> 'a glob_red_flag
val sexp_of_glob_red_flag : ('a -> Sexplib.Sexp.t) -> 'a glob_red_flag -> Sexplib.Sexp.t
val glob_red_flag_of_yojson : (Yojson.Safe.t -> ('a, string) Result.result) -> Yojson.Safe.t -> ('a glob_red_flag, string) Result.result
val glob_red_flag_to_yojson : ('a -> Yojson.Safe.t) -> 'a glob_red_flag -> Yojson.Safe.t
type ('a, 'b, 'c) red_expr_gen = ('a, 'b, 'c) Genredexpr.red_expr_gen
val red_expr_gen_of_sexp : (Sexplib.Sexp.t -> 'a) -> (Sexplib.Sexp.t -> 'b) -> (Sexplib.Sexp.t -> 'c) -> Sexplib.Sexp.t -> ('a, 'b, 'c) red_expr_gen
val sexp_of_red_expr_gen : ('a -> Sexplib.Sexp.t) -> ('b -> Sexplib.Sexp.t) -> ('c -> Sexplib.Sexp.t) -> ('a, 'b, 'c) red_expr_gen -> Sexplib.Sexp.t
type ('a, 'b, 'c) may_eval = ('a, 'b, 'c) Genredexpr.may_eval
val may_eval_of_sexp : (Sexplib.Sexp.t -> 'a) -> (Sexplib.Sexp.t -> 'b) -> (Sexplib.Sexp.t -> 'c) -> Sexplib.Sexp.t -> ('a, 'b, 'c) may_eval
val sexp_of_may_eval : ('a -> Sexplib.Sexp.t) -> ('b -> Sexplib.Sexp.t) -> ('c -> Sexplib.Sexp.t) -> ('a, 'b, 'c) may_eval -> Sexplib.Sexp.t
type raw_red_expr = Genredexpr.raw_red_expr
val raw_red_expr_of_sexp : Sexplib.Sexp.t -> raw_red_expr
val sexp_of_raw_red_expr : raw_red_expr -> Sexplib.Sexp.t
val raw_red_expr_of_yojson : Yojson.Safe.t -> (raw_red_expr, string) Result.result
val raw_red_expr_to_yojson : raw_red_expr -> Yojson.Safe.t
type r_cst = Genredexpr.r_cst
val r_cst_of_sexp : Sexplib.Sexp.t -> r_cst
val sexp_of_r_cst : r_cst -> Sexplib.Sexp.t
val r_cst_of_yojson : Yojson.Safe.t -> (r_cst, string) Result.result
val r_cst_to_yojson : r_cst -> Yojson.Safe.t
type r_trm = Genredexpr.r_trm
val r_trm_of_sexp : Sexplib.Sexp.t -> r_trm
val sexp_of_r_trm : r_trm -> Sexplib.Sexp.t
val r_trm_of_yojson : Yojson.Safe.t -> (r_trm, string) Result.result
val r_trm_to_yojson : r_trm -> Yojson.Safe.t
type r_pat = Genredexpr.r_pat
val r_pat_of_sexp : Sexplib.Sexp.t -> r_pat
val sexp_of_r_pat : r_pat -> Sexplib.Sexp.t
val r_pat_of_yojson : Yojson.Safe.t -> (r_pat, string) Result.result
val r_pat_to_yojson : r_pat -> Yojson.Safe.t
type 'a and_short_name = 'a Genredexpr.and_short_name
val and_short_name_of_sexp : (Sexplib.Sexp.t -> 'a) -> Sexplib.Sexp.t -> 'a and_short_name
val sexp_of_and_short_name : ('a -> Sexplib.Sexp.t) -> 'a and_short_name -> Sexplib.Sexp.t
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