package coq-lsp

  1. Overview
  2. Docs
package coq-lsp
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Store : SerType.SJHC with type t = Genintern.Store.t
type intern_variable_status = Genintern.intern_variable_status
val sexp_of_intern_variable_status : intern_variable_status -> Sexplib0.Sexp.t
val intern_variable_status_of_sexp : Sexplib0.Sexp.t -> intern_variable_status
val intern_variable_status_to_yojson : intern_variable_status -> Yojson.Safe.t
val hash_fold_intern_variable_status : Base.Hash.state -> intern_variable_status -> Base.Hash.state
val hash_intern_variable_status : intern_variable_status -> Base.Hash.hash_value
val compare_intern_variable_status : intern_variable_status -> intern_variable_status -> int
type glob_sign = Genintern.glob_sign
val glob_sign_of_sexp : Sexplib.Sexp.t -> glob_sign
val sexp_of_glob_sign : glob_sign -> Sexplib.Sexp.t
type glob_constr_and_expr = Genintern.glob_constr_and_expr
val sexp_of_glob_constr_and_expr : glob_constr_and_expr -> Sexplib0.Sexp.t
val glob_constr_and_expr_of_sexp : Sexplib0.Sexp.t -> glob_constr_and_expr
val glob_constr_and_expr_to_yojson : glob_constr_and_expr -> Yojson.Safe.t
val hash_fold_glob_constr_and_expr : Base.Hash.state -> glob_constr_and_expr -> Base.Hash.state
val hash_glob_constr_and_expr : glob_constr_and_expr -> Base.Hash.hash_value
val compare_glob_constr_and_expr : glob_constr_and_expr -> glob_constr_and_expr -> int
type glob_constr_pattern_and_expr = Genintern.glob_constr_pattern_and_expr
val sexp_of_glob_constr_pattern_and_expr : glob_constr_pattern_and_expr -> Sexplib0.Sexp.t
val glob_constr_pattern_and_expr_of_sexp : Sexplib0.Sexp.t -> glob_constr_pattern_and_expr
val glob_constr_pattern_and_expr_to_yojson : glob_constr_pattern_and_expr -> Yojson.Safe.t
val hash_fold_glob_constr_pattern_and_expr : Base.Hash.state -> glob_constr_pattern_and_expr -> Base.Hash.state
val hash_glob_constr_pattern_and_expr : glob_constr_pattern_and_expr -> Base.Hash.hash_value
val compare_glob_constr_pattern_and_expr : glob_constr_pattern_and_expr -> glob_constr_pattern_and_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