package coq-serapi

  1. Overview
  2. Docs
package coq-serapi
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Serlib.Ser_declarationsSource

Sourcetype template_arity = Declarations.template_arity
Sourceval template_arity_of_sexp : Sexplib.Sexp.t -> template_arity
Sourceval sexp_of_template_arity : template_arity -> Sexplib.Sexp.t
Sourcetype ('a, 'b) declaration_arity = ('a, 'b) Declarations.declaration_arity
Sourceval declaration_arity_of_sexp : (Sexplib.Sexp.t -> 'a) -> (Sexplib.Sexp.t -> 'b) -> Sexplib.Sexp.t -> ('a, 'b) declaration_arity
Sourceval sexp_of_declaration_arity : ('a -> Sexplib.Sexp.t) -> ('b -> Sexplib.Sexp.t) -> ('a, 'b) declaration_arity -> Sexplib.Sexp.t
Sourcetype recarg = Declarations.recarg
Sourceval recarg_of_sexp : Sexplib.Sexp.t -> recarg
Sourceval sexp_of_recarg : recarg -> Sexplib.Sexp.t
Sourcetype wf_paths = recarg Rtree.t
Sourceval wf_paths_of_sexp : Sexplib.Sexp.t -> wf_paths
Sourceval sexp_of_wf_paths : wf_paths -> Sexplib.Sexp.t
Sourcetype regular_inductive_arity = Declarations.regular_inductive_arity
Sourceval regular_inductive_arity_of_sexp : Sexplib.Sexp.t -> regular_inductive_arity
Sourceval sexp_of_regular_inductive_arity : regular_inductive_arity -> Sexplib.Sexp.t
Sourcetype inductive_arity = Declarations.inductive_arity
Sourceval inductive_arity_of_sexp : Sexplib.Sexp.t -> inductive_arity
Sourceval sexp_of_inductive_arity : inductive_arity -> Sexplib.Sexp.t
Sourcetype one_inductive_body = Declarations.one_inductive_body
Sourceval one_inductive_body_of_sexp : Sexplib.Sexp.t -> one_inductive_body
Sourceval sexp_of_one_inductive_body : one_inductive_body -> Sexplib.Sexp.t
Sourcetype set_predicativity = Declarations.set_predicativity
Sourceval set_predicativity_of_sexp : Sexplib.Sexp.t -> set_predicativity
Sourceval sexp_of_set_predicativity : set_predicativity -> Sexplib.Sexp.t
Sourcetype engagement = Declarations.engagement
Sourceval engagement_of_sexp : Sexplib.Sexp.t -> engagement
Sourceval sexp_of_engagement : engagement -> Sexplib.Sexp.t
Sourcetype typing_flags = Declarations.typing_flags
Sourceval typing_flags_of_sexp : Sexplib.Sexp.t -> typing_flags
Sourceval sexp_of_typing_flags : typing_flags -> Sexplib.Sexp.t
Sourcetype inline = Declarations.inline
Sourceval sexp_of_inline : inline -> Sexplib.Sexp.t
Sourceval inline_of_sexp : Sexplib.Sexp.t -> inline
Sourcetype 'opaque constant_body = 'opaque Declarations.constant_body
Sourceval sexp_of_constant_body : ('opaque -> Sexplib.Sexp.t) -> 'opaque constant_body -> Sexplib.Sexp.t
Sourceval constant_body_of_sexp : (Sexplib.Sexp.t -> 'opaque) -> Sexplib.Sexp.t -> 'opaque constant_body
Sourcetype recursivity_kind = Declarations.recursivity_kind
Sourceval recursivity_kind_of_sexp : Sexplib.Sexp.t -> recursivity_kind
Sourceval sexp_of_recursivity_kind : recursivity_kind -> Sexplib.Sexp.t
Sourceval recursivity_kind_of_yojson : Yojson.Safe.t -> (recursivity_kind, string) Result.result
Sourceval recursivity_kind_to_yojson : recursivity_kind -> Yojson.Safe.t
Sourcetype mutual_inductive_body = Declarations.mutual_inductive_body
Sourceval mutual_inductive_body_of_sexp : Sexplib.Sexp.t -> mutual_inductive_body
Sourceval sexp_of_mutual_inductive_body : mutual_inductive_body -> Sexplib.Sexp.t
Sourcetype module_alg_expr = Declarations.module_alg_expr
Sourceval sexp_of_module_alg_expr : module_alg_expr -> Sexplib.Sexp.t
Sourceval module_alg_expr_of_sexp : Sexplib.Sexp.t -> module_alg_expr
Sourcetype structure_body = Declarations.structure_body
Sourceval sexp_of_structure_body : structure_body -> Sexplib.Sexp.t
Sourceval structure_body_of_sexp : Sexplib.Sexp.t -> structure_body
Sourcetype module_body = Declarations.module_body
Sourceval sexp_of_module_body : module_body -> Sexplib.Sexp.t
Sourceval module_body_of_sexp : Sexplib.Sexp.t -> module_body
Sourcetype module_type_body = Declarations.module_type_body
Sourceval sexp_of_module_type_body : module_type_body -> Sexplib.Sexp.t
Sourceval module_type_body_of_sexp : Sexplib.Sexp.t -> module_type_body
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