package coq-serapi

  1. Overview
  2. Docs
package coq-serapi
Legend:
Library
Module
Module type
Parameter
Class
Class type
type template_arity = Declarations.template_arity
val template_arity_of_sexp : Sexplib.Sexp.t -> template_arity
val sexp_of_template_arity : template_arity -> Sexplib.Sexp.t
type ('a, 'b) declaration_arity = ('a, 'b) Declarations.declaration_arity
val declaration_arity_of_sexp : (Sexplib.Sexp.t -> 'a) -> (Sexplib.Sexp.t -> 'b) -> Sexplib.Sexp.t -> ('a, 'b) declaration_arity
val sexp_of_declaration_arity : ('a -> Sexplib.Sexp.t) -> ('b -> Sexplib.Sexp.t) -> ('a, 'b) declaration_arity -> Sexplib.Sexp.t
type recarg = Declarations.recarg
val sexp_of_recarg : recarg -> Sexplib0.Sexp.t
val recarg_of_sexp : Sexplib0.Sexp.t -> recarg
val recarg_to_yojson : recarg -> Yojson.Safe.t
val hash_fold_recarg : Base.Hash.state -> recarg -> Base.Hash.state
val hash_recarg : recarg -> Base.Hash.hash_value
val compare_recarg : recarg -> recarg -> int
type wf_paths = recarg Rtree.t
val sexp_of_wf_paths : wf_paths -> Sexplib0.Sexp.t
val wf_paths_of_sexp : Sexplib0.Sexp.t -> wf_paths
val wf_paths_to_yojson : wf_paths -> Yojson.Safe.t
val hash_fold_wf_paths : Base.Hash.state -> wf_paths -> Base.Hash.state
val hash_wf_paths : wf_paths -> Base.Hash.hash_value
val compare_wf_paths : wf_paths -> wf_paths -> int
type regular_inductive_arity = Declarations.regular_inductive_arity
val sexp_of_regular_inductive_arity : regular_inductive_arity -> Sexplib0.Sexp.t
val regular_inductive_arity_of_sexp : Sexplib0.Sexp.t -> regular_inductive_arity
val regular_inductive_arity_to_yojson : regular_inductive_arity -> Yojson.Safe.t
val hash_fold_regular_inductive_arity : Base.Hash.state -> regular_inductive_arity -> Base.Hash.state
val hash_regular_inductive_arity : regular_inductive_arity -> Base.Hash.hash_value
val compare_regular_inductive_arity : regular_inductive_arity -> regular_inductive_arity -> int
type inductive_arity = Declarations.inductive_arity
val sexp_of_inductive_arity : inductive_arity -> Sexplib0.Sexp.t
val inductive_arity_of_sexp : Sexplib0.Sexp.t -> inductive_arity
val inductive_arity_to_yojson : inductive_arity -> Yojson.Safe.t
val hash_fold_inductive_arity : Base.Hash.state -> inductive_arity -> Base.Hash.state
val hash_inductive_arity : inductive_arity -> Base.Hash.hash_value
val compare_inductive_arity : inductive_arity -> inductive_arity -> int
type one_inductive_body = Declarations.one_inductive_body
val sexp_of_one_inductive_body : one_inductive_body -> Sexplib0.Sexp.t
val one_inductive_body_of_sexp : Sexplib0.Sexp.t -> one_inductive_body
val one_inductive_body_to_yojson : one_inductive_body -> Yojson.Safe.t
val one_inductive_body_of_yojson : Yojson.Safe.t -> one_inductive_body Ppx_deriving_yojson_runtime.error_or
val hash_fold_one_inductive_body : Base.Hash.state -> one_inductive_body -> Base.Hash.state
val hash_one_inductive_body : one_inductive_body -> Base.Hash.hash_value
val compare_one_inductive_body : one_inductive_body -> one_inductive_body -> int
type typing_flags = Declarations.typing_flags
val sexp_of_typing_flags : typing_flags -> Sexplib0.Sexp.t
val typing_flags_of_sexp : Sexplib0.Sexp.t -> typing_flags
val typing_flags_to_yojson : typing_flags -> Yojson.Safe.t
val hash_fold_typing_flags : Base.Hash.state -> typing_flags -> Base.Hash.state
val hash_typing_flags : typing_flags -> Base.Hash.hash_value
val compare_typing_flags : typing_flags -> typing_flags -> int
type inline = Declarations.inline
val sexp_of_inline : inline -> Sexplib0.Sexp.t
val inline_of_sexp : Sexplib0.Sexp.t -> inline
val inline_to_yojson : inline -> Yojson.Safe.t
val hash_fold_inline : Base.Hash.state -> inline -> Base.Hash.state
val hash_inline : inline -> Base.Hash.hash_value
val compare_inline : inline -> inline -> int
type ('a, 'b) pconstant_body = ('a, 'b) Declarations.pconstant_body
val sexp_of_pconstant_body : ('a -> Sexplib0.Sexp.t) -> ('b -> Sexplib0.Sexp.t) -> ('a, 'b) pconstant_body -> Sexplib0.Sexp.t
val pconstant_body_of_sexp : (Sexplib0.Sexp.t -> 'a) -> (Sexplib0.Sexp.t -> 'b) -> Sexplib0.Sexp.t -> ('a, 'b) pconstant_body
val pconstant_body_to_yojson : ('a -> Yojson.Safe.t) -> ('b -> Yojson.Safe.t) -> ('a, 'b) pconstant_body -> Yojson.Safe.t
val pconstant_body_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 -> ('a, 'b) pconstant_body Ppx_deriving_yojson_runtime.error_or
val hash_fold_pconstant_body : (Base.Hash.state -> 'a -> Base.Hash.state) -> (Base.Hash.state -> 'b -> Base.Hash.state) -> Base.Hash.state -> ('a, 'b) pconstant_body -> Base.Hash.state
val compare_pconstant_body : ('a -> 'a -> int) -> ('b -> 'b -> int) -> ('a, 'b) pconstant_body -> ('a, 'b) pconstant_body -> int
type constant_body = Declarations.constant_body
val sexp_of_constant_body : constant_body -> Sexplib0.Sexp.t
val constant_body_of_sexp : Sexplib0.Sexp.t -> constant_body
val constant_body_to_yojson : constant_body -> Yojson.Safe.t
val constant_body_of_yojson : Yojson.Safe.t -> constant_body Ppx_deriving_yojson_runtime.error_or
val hash_fold_constant_body : Base.Hash.state -> constant_body -> Base.Hash.state
val hash_constant_body : constant_body -> Base.Hash.hash_value
val compare_constant_body : constant_body -> constant_body -> int
type recursivity_kind = Declarations.recursivity_kind
val sexp_of_recursivity_kind : recursivity_kind -> Sexplib0.Sexp.t
val recursivity_kind_of_sexp : Sexplib0.Sexp.t -> recursivity_kind
val recursivity_kind_to_yojson : recursivity_kind -> Yojson.Safe.t
val hash_fold_recursivity_kind : Base.Hash.state -> recursivity_kind -> Base.Hash.state
val hash_recursivity_kind : recursivity_kind -> Base.Hash.hash_value
val compare_recursivity_kind : recursivity_kind -> recursivity_kind -> int
type mutual_inductive_body = Declarations.mutual_inductive_body
val sexp_of_mutual_inductive_body : mutual_inductive_body -> Sexplib0.Sexp.t
val mutual_inductive_body_of_sexp : Sexplib0.Sexp.t -> mutual_inductive_body
val mutual_inductive_body_to_yojson : mutual_inductive_body -> Yojson.Safe.t
val mutual_inductive_body_of_yojson : Yojson.Safe.t -> mutual_inductive_body Ppx_deriving_yojson_runtime.error_or
val hash_fold_mutual_inductive_body : Base.Hash.state -> mutual_inductive_body -> Base.Hash.state
val hash_mutual_inductive_body : mutual_inductive_body -> Base.Hash.hash_value
val compare_mutual_inductive_body : mutual_inductive_body -> mutual_inductive_body -> int
type rewrite_rule = Declarations.rewrite_rule
val sexp_of_rewrite_rule : rewrite_rule -> Sexplib0.Sexp.t
val rewrite_rule_of_sexp : Sexplib0.Sexp.t -> rewrite_rule
val rewrite_rule_to_yojson : rewrite_rule -> Yojson.Safe.t
val hash_fold_rewrite_rule : Base.Hash.state -> rewrite_rule -> Base.Hash.state
val hash_rewrite_rule : rewrite_rule -> Base.Hash.hash_value
val compare_rewrite_rule : rewrite_rule -> rewrite_rule -> int
type 'a module_alg_expr = 'a Declarations.module_alg_expr
val sexp_of_module_alg_expr : ('a -> Sexplib0.Sexp.t) -> 'a module_alg_expr -> Sexplib0.Sexp.t
val module_alg_expr_of_sexp : (Sexplib0.Sexp.t -> 'a) -> Sexplib0.Sexp.t -> 'a module_alg_expr
val module_alg_expr_to_yojson : ('a -> Yojson.Safe.t) -> 'a module_alg_expr -> Yojson.Safe.t
val hash_fold_module_alg_expr : (Base.Hash.state -> 'a -> Base.Hash.state) -> Base.Hash.state -> 'a module_alg_expr -> Base.Hash.state
val compare_module_alg_expr : ('a -> 'a -> int) -> 'a module_alg_expr -> 'a module_alg_expr -> int
type structure_body = Declarations.structure_body
val sexp_of_structure_body : structure_body -> Sexplib0.Sexp.t
val structure_body_of_sexp : Sexplib0.Sexp.t -> structure_body
val structure_body_to_yojson : structure_body -> Yojson.Safe.t
val structure_body_of_yojson : Yojson.Safe.t -> structure_body Ppx_deriving_yojson_runtime.error_or
val hash_fold_structure_body : Base.Hash.state -> structure_body -> Base.Hash.state
val hash_structure_body : structure_body -> Base.Hash.hash_value
val compare_structure_body : structure_body -> structure_body -> int
type module_body = Declarations.module_body
val sexp_of_module_body : module_body -> Sexplib0.Sexp.t
val module_body_of_sexp : Sexplib0.Sexp.t -> module_body
val module_body_to_yojson : module_body -> Yojson.Safe.t
val module_body_of_yojson : Yojson.Safe.t -> module_body Ppx_deriving_yojson_runtime.error_or
val hash_fold_module_body : Base.Hash.state -> module_body -> Base.Hash.state
val hash_module_body : module_body -> Base.Hash.hash_value
val compare_module_body : module_body -> module_body -> int
type module_type_body = Declarations.module_type_body
val sexp_of_module_type_body : module_type_body -> Sexplib0.Sexp.t
val module_type_body_of_sexp : Sexplib0.Sexp.t -> module_type_body
val module_type_body_to_yojson : module_type_body -> Yojson.Safe.t
val module_type_body_of_yojson : Yojson.Safe.t -> module_type_body Ppx_deriving_yojson_runtime.error_or
val hash_fold_module_type_body : Base.Hash.state -> module_type_body -> Base.Hash.state
val hash_module_type_body : module_type_body -> Base.Hash.hash_value
val compare_module_type_body : module_type_body -> module_type_body -> 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