package coq-serapi

  1. Overview
  2. Docs
package coq-serapi
Legend:
Library
Module
Module type
Parameter
Class
Class type
type private_constants = Safe_typing.private_constants
val sexp_of_private_constants : private_constants -> Sexplib0.Sexp.t
val private_constants_of_sexp : Sexplib0.Sexp.t -> private_constants
val private_constants_to_yojson : private_constants -> Yojson.Safe.t
val private_constants_of_yojson : Yojson.Safe.t -> private_constants Ppx_deriving_yojson_runtime.error_or
val hash_fold_private_constants : Ppx_hash_lib.Std.Hash.state -> private_constants -> Ppx_hash_lib.Std.Hash.state
val hash_private_constants : private_constants -> Ppx_hash_lib.Std.Hash.hash_value
val compare_private_constants : private_constants -> private_constants -> int
type global_declaration = Safe_typing.global_declaration
val global_declaration_of_sexp : Sexplib.Sexp.t -> global_declaration
val sexp_of_global_declaration : global_declaration -> Sexplib.Sexp.t
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