package coq-serapi

  1. Overview
  2. Docs
package coq-serapi
Legend:
Library
Module
Module type
Parameter
Class
Class type
type hint_db_name = Hints.hint_db_name
val sexp_of_hint_db_name : hint_db_name -> Sexplib0.Sexp.t
val hint_db_name_of_sexp : Sexplib0.Sexp.t -> hint_db_name
val hint_db_name_to_yojson : hint_db_name -> Yojson.Safe.t
val hint_db_name_of_yojson : Yojson.Safe.t -> hint_db_name Ppx_deriving_yojson_runtime.error_or
val hash_fold_hint_db_name : Ppx_hash_lib.Std.Hash.state -> hint_db_name -> Ppx_hash_lib.Std.Hash.state
val hash_hint_db_name : hint_db_name -> Ppx_hash_lib.Std.Hash.hash_value
val compare_hint_db_name : hint_db_name -> hint_db_name -> int
type 'a hints_path_gen = 'a Hints.hints_path_gen
val sexp_of_hints_path_gen : ('a -> Sexplib0.Sexp.t) -> 'a hints_path_gen -> Sexplib0.Sexp.t
val hints_path_gen_of_sexp : (Sexplib0.Sexp.t -> 'a) -> Sexplib0.Sexp.t -> 'a hints_path_gen
val hints_path_gen_to_yojson : ('a -> Yojson.Safe.t) -> 'a hints_path_gen -> Yojson.Safe.t
val hints_path_gen_of_yojson : (Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or) -> Yojson.Safe.t -> 'a hints_path_gen Ppx_deriving_yojson_runtime.error_or
val hash_fold_hints_path_gen : (Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state) -> Ppx_hash_lib.Std.Hash.state -> 'a hints_path_gen -> Ppx_hash_lib.Std.Hash.state
val compare_hints_path_gen : ('a -> 'a -> int) -> 'a hints_path_gen -> 'a hints_path_gen -> int
type 'a hints_path_atom_gen = 'a Hints.hints_path_atom_gen
val sexp_of_hints_path_atom_gen : ('a -> Sexplib0.Sexp.t) -> 'a hints_path_atom_gen -> Sexplib0.Sexp.t
val hints_path_atom_gen_of_sexp : (Sexplib0.Sexp.t -> 'a) -> Sexplib0.Sexp.t -> 'a hints_path_atom_gen
val hints_path_atom_gen_to_yojson : ('a -> Yojson.Safe.t) -> 'a hints_path_atom_gen -> Yojson.Safe.t
val hints_path_atom_gen_of_yojson : (Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or) -> Yojson.Safe.t -> 'a hints_path_atom_gen Ppx_deriving_yojson_runtime.error_or
val hash_fold_hints_path_atom_gen : (Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state) -> Ppx_hash_lib.Std.Hash.state -> 'a hints_path_atom_gen -> Ppx_hash_lib.Std.Hash.state
val compare_hints_path_atom_gen : ('a -> 'a -> int) -> 'a hints_path_atom_gen -> 'a hints_path_atom_gen -> int
type hints_path = Hints.hints_path
val sexp_of_hints_path : hints_path -> Sexplib0.Sexp.t
val hints_path_of_sexp : Sexplib0.Sexp.t -> hints_path
val hints_path_to_yojson : hints_path -> Yojson.Safe.t
val hints_path_of_yojson : Yojson.Safe.t -> hints_path Ppx_deriving_yojson_runtime.error_or
val hash_fold_hints_path : Ppx_hash_lib.Std.Hash.state -> hints_path -> Ppx_hash_lib.Std.Hash.state
val hash_hints_path : hints_path -> Ppx_hash_lib.Std.Hash.hash_value
val compare_hints_path : hints_path -> hints_path -> int
type 'a hints_transparency_target = 'a Hints.hints_transparency_target
val sexp_of_hints_transparency_target : ('a -> Sexplib0.Sexp.t) -> 'a hints_transparency_target -> Sexplib0.Sexp.t
val hints_transparency_target_of_sexp : (Sexplib0.Sexp.t -> 'a) -> Sexplib0.Sexp.t -> 'a hints_transparency_target
val hints_transparency_target_to_yojson : ('a -> Yojson.Safe.t) -> 'a hints_transparency_target -> Yojson.Safe.t
val hints_transparency_target_of_yojson : (Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or) -> Yojson.Safe.t -> 'a hints_transparency_target Ppx_deriving_yojson_runtime.error_or
val hash_fold_hints_transparency_target : (Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state) -> Ppx_hash_lib.Std.Hash.state -> 'a hints_transparency_target -> Ppx_hash_lib.Std.Hash.state
val compare_hints_transparency_target : ('a -> 'a -> int) -> 'a hints_transparency_target -> 'a hints_transparency_target -> int
type hint_mode = Hints.hint_mode
val sexp_of_hint_mode : hint_mode -> Sexplib0.Sexp.t
val hint_mode_of_sexp : Sexplib0.Sexp.t -> hint_mode
val hint_mode_to_yojson : hint_mode -> Yojson.Safe.t
val hint_mode_of_yojson : Yojson.Safe.t -> hint_mode Ppx_deriving_yojson_runtime.error_or
val hash_fold_hint_mode : Ppx_hash_lib.Std.Hash.state -> hint_mode -> Ppx_hash_lib.Std.Hash.state
val hash_hint_mode : hint_mode -> Ppx_hash_lib.Std.Hash.hash_value
val compare_hint_mode : hint_mode -> hint_mode -> 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