package coq-lsp

  1. Overview
  2. Docs
package coq-lsp
Legend:
Library
Module
Module type
Parameter
Class
Class type
module CAst = Ser_cAst
type vernac_flag_type = Attributes.vernac_flag_type =
  1. | FlagIdent of string
  2. | FlagString of string
val vernac_flag_type_of_sexp : Sexplib0.Sexp.t -> vernac_flag_type
val sexp_of_vernac_flag_type : vernac_flag_type -> Sexplib0.Sexp.t
val vernac_flag_type_to_yojson : vernac_flag_type -> Yojson.Safe.t
val hash_fold_vernac_flag_type : Base.Hash.state -> vernac_flag_type -> Base.Hash.state
val hash_vernac_flag_type : vernac_flag_type -> Base.Hash.hash_value
val compare_vernac_flag_type : vernac_flag_type -> vernac_flag_type -> int
type vernac_flag = (string * vernac_flag_value) CAst.t
and vernac_flag_value = Attributes.vernac_flag_value =
  1. | VernacFlagEmpty
  2. | VernacFlagLeaf of vernac_flag_type
  3. | VernacFlagList of vernac_flags
and vernac_flags = vernac_flag list
val vernac_flag_of_sexp : Sexplib0.Sexp.t -> vernac_flag
val vernac_flag_value_of_sexp : Sexplib0.Sexp.t -> vernac_flag_value
val vernac_flags_of_sexp : Sexplib0.Sexp.t -> vernac_flags
val sexp_of_vernac_flag : vernac_flag -> Sexplib0.Sexp.t
val sexp_of_vernac_flag_value : vernac_flag_value -> Sexplib0.Sexp.t
val sexp_of_vernac_flags : vernac_flags -> Sexplib0.Sexp.t
val vernac_flag_to_yojson : vernac_flag -> Yojson.Safe.t
val vernac_flag_value_to_yojson : vernac_flag_value -> Yojson.Safe.t
val vernac_flags_to_yojson : vernac_flags -> Yojson.Safe.t
val _ : Yojson.Safe.t -> vernac_flags Ppx_deriving_yojson_runtime.error_or
val hash_fold_vernac_flag_value : Base.Hash.state -> vernac_flag_value -> Base.Hash.state
val hash_fold_vernac_flags : Base.Hash.state -> vernac_flags -> Base.Hash.state
val hash_vernac_flag : vernac_flag -> Base.Hash.hash_value
val hash_vernac_flag_value : vernac_flag_value -> Base.Hash.hash_value
val hash_vernac_flags : vernac_flags -> Base.Hash.hash_value
val compare_vernac_flag : vernac_flag -> vernac_flag -> int
val compare_vernac_flag_value : vernac_flag_value -> vernac_flag_value -> int
val compare_vernac_flags : vernac_flags -> vernac_flags -> 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