package coq-lsp

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

Install

Dune Dependency

Authors

Maintainers

Sources

coq-lsp-0.2.3.8.19.tbz
sha256=dd5d0993261d3742e77ccac8344307d97b507b265d8743ae0ce33d0b3fcfd98a
sha512=76727400b27900fdd659af7f03c5f2cd979f50ea0c76ad6f5b5de56a53b9db06dba1e1c786fd3e8ab695e42d94c53d58415c0c5b5eef8192f9863eaf7dcca693

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.