package coq-lsp
Language Server Protocol native server for Coq
Install
Dune Dependency
Authors
Maintainers
Sources
coq-lsp-0.2.2.8.18.tbz
sha256=ec0a692c2ca60ee1a087626bb6087076f0e9a5ace3c88b1209c2f5dea0c91035
sha512=8aac7c4c99a7bdae741084e567348f8a4c36d64939d79348ff7b6f50dacf36da7aee8b7e648e94a863e895d1c60d911e2b3e38b4b8dcdf04c8ed1edde28f7660
doc/coq-lsp.serlib/Serlib/Ser_goptions/index.html
Module Serlib.Ser_goptions
Source
Source
val option_locality_of_yojson :
Yojson.Safe.t ->
option_locality Ppx_deriving_yojson_runtime.error_or
Source
val hash_fold_option_locality :
Ppx_hash_lib.Std.Hash.state ->
option_locality ->
Ppx_hash_lib.Std.Hash.state
Source
val hash_fold_option_name :
Ppx_hash_lib.Std.Hash.state ->
option_name ->
Ppx_hash_lib.Std.Hash.state
Source
val hash_fold_table_value :
Ppx_hash_lib.Std.Hash.state ->
table_value ->
Ppx_hash_lib.Std.Hash.state
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>