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 sexp_of_red_atom : ('a -> Sexplib0.Sexp.t) -> 'a red_atom -> Sexplib0.Sexp.t
val red_atom_of_sexp : (Sexplib0.Sexp.t -> 'a) -> Sexplib0.Sexp.t -> 'a red_atom
val red_atom_to_yojson : ('a -> Yojson.Safe.t) -> 'a red_atom -> Yojson.Safe.t
val red_atom_of_yojson : (Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or) -> Yojson.Safe.t -> 'a red_atom Ppx_deriving_yojson_runtime.error_or
val hash_fold_red_atom : (Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state) -> Ppx_hash_lib.Std.Hash.state -> 'a red_atom -> Ppx_hash_lib.Std.Hash.state
val compare_red_atom : ('a -> 'a -> int) -> 'a red_atom -> 'a red_atom -> int
type 'a glob_red_flag = 'a Genredexpr.glob_red_flag
val sexp_of_glob_red_flag : ('a -> Sexplib0.Sexp.t) -> 'a glob_red_flag -> Sexplib0.Sexp.t
val glob_red_flag_of_sexp : (Sexplib0.Sexp.t -> 'a) -> Sexplib0.Sexp.t -> 'a glob_red_flag
val glob_red_flag_to_yojson : ('a -> Yojson.Safe.t) -> 'a glob_red_flag -> Yojson.Safe.t
val glob_red_flag_of_yojson : (Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or) -> Yojson.Safe.t -> 'a glob_red_flag Ppx_deriving_yojson_runtime.error_or
val hash_fold_glob_red_flag : (Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state) -> Ppx_hash_lib.Std.Hash.state -> 'a glob_red_flag -> Ppx_hash_lib.Std.Hash.state
val compare_glob_red_flag : ('a -> 'a -> int) -> 'a glob_red_flag -> 'a glob_red_flag -> int
type ('a, 'b, 'c, 'd) red_expr_gen = ('a, 'b, 'c, 'd) Genredexpr.red_expr_gen
val sexp_of_red_expr_gen : ('a -> Sexplib0.Sexp.t) -> ('b -> Sexplib0.Sexp.t) -> ('c -> Sexplib0.Sexp.t) -> ('d -> Sexplib0.Sexp.t) -> ('a, 'b, 'c, 'd) 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 -> 'd) -> Sexplib0.Sexp.t -> ('a, 'b, 'c, 'd) red_expr_gen
val red_expr_gen_to_yojson : ('a -> Yojson.Safe.t) -> ('b -> Yojson.Safe.t) -> ('c -> Yojson.Safe.t) -> ('d -> Yojson.Safe.t) -> ('a, 'b, 'c, 'd) red_expr_gen -> Yojson.Safe.t
val red_expr_gen_of_yojson : (Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or) -> (Yojson.Safe.t -> 'b Ppx_deriving_yojson_runtime.error_or) -> (Yojson.Safe.t -> 'c Ppx_deriving_yojson_runtime.error_or) -> (Yojson.Safe.t -> 'd Ppx_deriving_yojson_runtime.error_or) -> Yojson.Safe.t -> ('a, 'b, 'c, 'd) red_expr_gen Ppx_deriving_yojson_runtime.error_or
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 -> 'd -> Ppx_hash_lib.Std.Hash.state) -> Ppx_hash_lib.Std.Hash.state -> ('a, 'b, 'c, 'd) red_expr_gen -> Ppx_hash_lib.Std.Hash.state
val compare_red_expr_gen : ('a -> 'a -> int) -> ('b -> 'b -> int) -> ('c -> 'c -> int) -> ('d -> 'd -> int) -> ('a, 'b, 'c, 'd) red_expr_gen -> ('a, 'b, 'c, 'd) red_expr_gen -> int
type ('a, 'b, 'c, 'd) may_eval = ('a, 'b, 'c, 'd) Genredexpr.may_eval
val sexp_of_may_eval : ('a -> Sexplib0.Sexp.t) -> ('b -> Sexplib0.Sexp.t) -> ('c -> Sexplib0.Sexp.t) -> ('d -> Sexplib0.Sexp.t) -> ('a, 'b, 'c, 'd) 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 -> 'd) -> Sexplib0.Sexp.t -> ('a, 'b, 'c, 'd) may_eval
val may_eval_to_yojson : ('a -> Yojson.Safe.t) -> ('b -> Yojson.Safe.t) -> ('c -> Yojson.Safe.t) -> ('d -> Yojson.Safe.t) -> ('a, 'b, 'c, 'd) may_eval -> Yojson.Safe.t
val may_eval_of_yojson : (Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or) -> (Yojson.Safe.t -> 'b Ppx_deriving_yojson_runtime.error_or) -> (Yojson.Safe.t -> 'c Ppx_deriving_yojson_runtime.error_or) -> (Yojson.Safe.t -> 'd Ppx_deriving_yojson_runtime.error_or) -> Yojson.Safe.t -> ('a, 'b, 'c, 'd) may_eval Ppx_deriving_yojson_runtime.error_or
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 -> 'd -> Ppx_hash_lib.Std.Hash.state) -> Ppx_hash_lib.Std.Hash.state -> ('a, 'b, 'c, 'd) may_eval -> Ppx_hash_lib.Std.Hash.state
val compare_may_eval : ('a -> 'a -> int) -> ('b -> 'b -> int) -> ('c -> 'c -> int) -> ('d -> 'd -> int) -> ('a, 'b, 'c, 'd) may_eval -> ('a, 'b, 'c, 'd) 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 raw_red_expr_of_yojson : Yojson.Safe.t -> raw_red_expr Ppx_deriving_yojson_runtime.error_or
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 '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 and_short_name_of_yojson : (Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or) -> Yojson.Safe.t -> 'a and_short_name Ppx_deriving_yojson_runtime.error_or
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
type glob_red_expr = Genredexpr.glob_red_expr
val sexp_of_glob_red_expr : glob_red_expr -> Sexplib0.Sexp.t
val glob_red_expr_of_sexp : Sexplib0.Sexp.t -> glob_red_expr
val glob_red_expr_to_yojson : glob_red_expr -> Yojson.Safe.t
val glob_red_expr_of_yojson : Yojson.Safe.t -> glob_red_expr Ppx_deriving_yojson_runtime.error_or
val hash_fold_glob_red_expr : Ppx_hash_lib.Std.Hash.state -> glob_red_expr -> Ppx_hash_lib.Std.Hash.state
val hash_glob_red_expr : glob_red_expr -> Ppx_hash_lib.Std.Hash.hash_value
val compare_glob_red_expr : glob_red_expr -> glob_red_expr -> 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