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 sexp_of_red_expr_gen : ('a -> Sexplib0.Sexp.t) -> ('b -> Sexplib0.Sexp.t) -> ('c -> Sexplib0.Sexp.t) -> ('a, 'b, 'c) red_expr_gen -> Sexplib0.Sexp.t
val red_expr_gen_of_sexp : (Sexplib0.Sexp.t -> 'a) -> (Sexplib0.Sexp.t -> 'b) -> (Sexplib0.Sexp.t -> 'c) -> Sexplib0.Sexp.t -> ('a, 'b, 'c) red_expr_gen
val red_expr_gen_to_yojson : ('a -> Yojson.Safe.t) -> ('b -> Yojson.Safe.t) -> ('c -> Yojson.Safe.t) -> ('a, 'b, 'c) red_expr_gen -> Yojson.Safe.t
val hash_fold_red_expr_gen : (Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state) -> (Ppx_hash_lib.Std.Hash.state -> 'b -> Ppx_hash_lib.Std.Hash.state) -> (Ppx_hash_lib.Std.Hash.state -> 'c -> Ppx_hash_lib.Std.Hash.state) -> Ppx_hash_lib.Std.Hash.state -> ('a, 'b, 'c) red_expr_gen -> Ppx_hash_lib.Std.Hash.state
val compare_red_expr_gen : ('a -> 'a -> int) -> ('b -> 'b -> int) -> ('c -> 'c -> int) -> ('a, 'b, 'c) red_expr_gen -> ('a, 'b, 'c) red_expr_gen -> int
type ('a, 'b, 'c) may_eval = ('a, 'b, 'c) Genredexpr.may_eval
val sexp_of_may_eval : ('a -> Sexplib0.Sexp.t) -> ('b -> Sexplib0.Sexp.t) -> ('c -> Sexplib0.Sexp.t) -> ('a, 'b, 'c) may_eval -> Sexplib0.Sexp.t
val may_eval_of_sexp : (Sexplib0.Sexp.t -> 'a) -> (Sexplib0.Sexp.t -> 'b) -> (Sexplib0.Sexp.t -> 'c) -> Sexplib0.Sexp.t -> ('a, 'b, 'c) may_eval
val may_eval_to_yojson : ('a -> Yojson.Safe.t) -> ('b -> Yojson.Safe.t) -> ('c -> Yojson.Safe.t) -> ('a, 'b, 'c) may_eval -> Yojson.Safe.t
val hash_fold_may_eval : (Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state) -> (Ppx_hash_lib.Std.Hash.state -> 'b -> Ppx_hash_lib.Std.Hash.state) -> (Ppx_hash_lib.Std.Hash.state -> 'c -> Ppx_hash_lib.Std.Hash.state) -> Ppx_hash_lib.Std.Hash.state -> ('a, 'b, 'c) may_eval -> Ppx_hash_lib.Std.Hash.state
val compare_may_eval : ('a -> 'a -> int) -> ('b -> 'b -> int) -> ('c -> 'c -> int) -> ('a, 'b, 'c) may_eval -> ('a, 'b, 'c) may_eval -> int
type raw_red_expr = Genredexpr.raw_red_expr
val sexp_of_raw_red_expr : raw_red_expr -> Sexplib0.Sexp.t
val raw_red_expr_of_sexp : Sexplib0.Sexp.t -> raw_red_expr
val raw_red_expr_to_yojson : raw_red_expr -> Yojson.Safe.t
val hash_fold_raw_red_expr : Ppx_hash_lib.Std.Hash.state -> raw_red_expr -> Ppx_hash_lib.Std.Hash.state
val hash_raw_red_expr : raw_red_expr -> Ppx_hash_lib.Std.Hash.hash_value
val compare_raw_red_expr : raw_red_expr -> raw_red_expr -> int
type r_cst = Genredexpr.r_cst
val sexp_of_r_cst : r_cst -> Sexplib0.Sexp.t
val r_cst_of_sexp : Sexplib0.Sexp.t -> r_cst
val r_cst_to_yojson : r_cst -> Yojson.Safe.t
val hash_fold_r_cst : Ppx_hash_lib.Std.Hash.state -> r_cst -> Ppx_hash_lib.Std.Hash.state
val hash_r_cst : r_cst -> Ppx_hash_lib.Std.Hash.hash_value
val compare_r_cst : r_cst -> r_cst -> int
type r_trm = Genredexpr.r_trm
val sexp_of_r_trm : r_trm -> Sexplib0.Sexp.t
val r_trm_of_sexp : Sexplib0.Sexp.t -> r_trm
val r_trm_to_yojson : r_trm -> Yojson.Safe.t
val hash_fold_r_trm : Ppx_hash_lib.Std.Hash.state -> r_trm -> Ppx_hash_lib.Std.Hash.state
val hash_r_trm : r_trm -> Ppx_hash_lib.Std.Hash.hash_value
val compare_r_trm : r_trm -> r_trm -> int
type r_pat = Genredexpr.r_pat
val sexp_of_r_pat : r_pat -> Sexplib0.Sexp.t
val r_pat_of_sexp : Sexplib0.Sexp.t -> r_pat
val r_pat_to_yojson : r_pat -> Yojson.Safe.t
val hash_fold_r_pat : Ppx_hash_lib.Std.Hash.state -> r_pat -> Ppx_hash_lib.Std.Hash.state
val hash_r_pat : r_pat -> Ppx_hash_lib.Std.Hash.hash_value
val compare_r_pat : r_pat -> r_pat -> int
type 'a and_short_name = 'a Genredexpr.and_short_name
val sexp_of_and_short_name : ('a -> Sexplib0.Sexp.t) -> 'a and_short_name -> Sexplib0.Sexp.t
val and_short_name_of_sexp : (Sexplib0.Sexp.t -> 'a) -> Sexplib0.Sexp.t -> 'a and_short_name
val and_short_name_to_yojson : ('a -> Yojson.Safe.t) -> 'a and_short_name -> Yojson.Safe.t
val hash_fold_and_short_name : (Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state) -> Ppx_hash_lib.Std.Hash.state -> 'a and_short_name -> Ppx_hash_lib.Std.Hash.state
val compare_and_short_name : ('a -> 'a -> int) -> 'a and_short_name -> 'a and_short_name -> int
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