package coq-lsp

  1. Overview
  2. Docs
package coq-lsp
Legend:
Library
Module
Module type
Parameter
Class
Class type
type tag = Vmvalues.tag
val tag_of_sexp : Sexplib.Sexp.t -> tag
val sexp_of_tag : tag -> Sexplib.Sexp.t
type structured_constant = Vmvalues.structured_constant
val sexp_of_structured_constant : structured_constant -> Sexplib0.Sexp.t
val structured_constant_of_sexp : Sexplib0.Sexp.t -> structured_constant
val structured_constant_to_yojson : structured_constant -> Yojson.Safe.t
val structured_constant_of_yojson : Yojson.Safe.t -> structured_constant Ppx_deriving_yojson_runtime.error_or
val hash_fold_structured_constant : Ppx_hash_lib.Std.Hash.state -> structured_constant -> Ppx_hash_lib.Std.Hash.state
val hash_structured_constant : structured_constant -> Ppx_hash_lib.Std.Hash.hash_value
val compare_structured_constant : structured_constant -> structured_constant -> int
type reloc_table = Vmvalues.reloc_table
val sexp_of_reloc_table : reloc_table -> Sexplib0.Sexp.t
val reloc_table_of_sexp : Sexplib0.Sexp.t -> reloc_table
val reloc_table_to_yojson : reloc_table -> Yojson.Safe.t
val reloc_table_of_yojson : Yojson.Safe.t -> reloc_table Ppx_deriving_yojson_runtime.error_or
val hash_fold_reloc_table : Ppx_hash_lib.Std.Hash.state -> reloc_table -> Ppx_hash_lib.Std.Hash.state
val hash_reloc_table : reloc_table -> Ppx_hash_lib.Std.Hash.hash_value
val compare_reloc_table : reloc_table -> reloc_table -> int
type annot_switch = Vmvalues.annot_switch
val sexp_of_annot_switch : annot_switch -> Sexplib0.Sexp.t
val annot_switch_of_sexp : Sexplib0.Sexp.t -> annot_switch
val annot_switch_to_yojson : annot_switch -> Yojson.Safe.t
val annot_switch_of_yojson : Yojson.Safe.t -> annot_switch Ppx_deriving_yojson_runtime.error_or
val hash_fold_annot_switch : Ppx_hash_lib.Std.Hash.state -> annot_switch -> Ppx_hash_lib.Std.Hash.state
val hash_annot_switch : annot_switch -> Ppx_hash_lib.Std.Hash.hash_value
val compare_annot_switch : annot_switch -> annot_switch -> 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