package coq-lsp

  1. Overview
  2. Docs
Language Server Protocol native server for Coq

Install

Dune Dependency

Authors

Maintainers

Sources

coq-lsp-0.2.0.8.19.tbz
sha256=01ffedbd55ae00526fe1dda890e3c15a883bfda8388c8d292121ee722db46360
sha512=b5d92146c27b5c432a3f92c9ae8ff69c4dc62709f394743ca2d43ab93ae3af64b08bb17ea5923c0fbe0a333de127de574c548ec3c8df81dbe3e11f485abc3216

doc/coq-lsp.serlib/Serlib/Ser_goptions/index.html

Module Serlib.Ser_goptionsSource

Sourcetype option_locality = Goptions.option_locality
Sourceval sexp_of_option_locality : option_locality -> Sexplib0.Sexp.t
Sourceval option_locality_of_sexp : Sexplib0.Sexp.t -> option_locality
Sourceval option_locality_to_yojson : option_locality -> Yojson.Safe.t
Sourceval hash_fold_option_locality : Ppx_hash_lib.Std.Hash.state -> option_locality -> Ppx_hash_lib.Std.Hash.state
Sourceval hash_option_locality : option_locality -> Ppx_hash_lib.Std.Hash.hash_value
Sourceval compare_option_locality : option_locality -> option_locality -> int
Sourcetype option_name = Goptions.option_name
Sourceval sexp_of_option_name : option_name -> Sexplib0.Sexp.t
Sourceval option_name_of_sexp : Sexplib0.Sexp.t -> option_name
Sourceval option_name_to_yojson : option_name -> Yojson.Safe.t
Sourceval hash_fold_option_name : Ppx_hash_lib.Std.Hash.state -> option_name -> Ppx_hash_lib.Std.Hash.state
Sourceval hash_option_name : option_name -> Ppx_hash_lib.Std.Hash.hash_value
Sourceval compare_option_name : option_name -> option_name -> int
Sourcetype option_value = Goptions.option_value
Sourceval option_value_of_sexp : Sexplib.Sexp.t -> option_value
Sourceval sexp_of_option_value : option_value -> Sexplib.Sexp.t
Sourceval option_value_of_yojson : Yojson.Safe.t -> (option_value, string) Result.result
Sourceval option_value_to_yojson : option_value -> Yojson.Safe.t
Sourcetype option_state = Goptions.option_state
Sourceval option_state_of_sexp : Sexplib.Sexp.t -> option_state
Sourceval sexp_of_option_state : option_state -> Sexplib.Sexp.t
Sourcetype table_value = Goptions.table_value
Sourceval sexp_of_table_value : table_value -> Sexplib0.Sexp.t
Sourceval table_value_of_sexp : Sexplib0.Sexp.t -> table_value
Sourceval table_value_to_yojson : table_value -> Yojson.Safe.t
Sourceval hash_fold_table_value : Ppx_hash_lib.Std.Hash.state -> table_value -> Ppx_hash_lib.Std.Hash.state
Sourceval hash_table_value : table_value -> Ppx_hash_lib.Std.Hash.hash_value
Sourceval compare_table_value : table_value -> table_value -> int
OCaml

Innovation. Community. Security.