package vscoq-language-server
VSCoq language server
Install
Dune Dependency
Authors
Maintainers
Sources
vscoq-language-server-2.0.3-coq8.18.tar.gz
md5=37688b8df4ccfc920a57552d0ebc0d3a
sha512=0db05bdfc4409cf8e5a43d191220b4ebd47978bcbb6fd41075ee745dd448b75e98677c81657809c30627c875e5fd54fbef180e6d30cb0a8e56ca26cbf8c5adb8
doc/src/vscoq-language-server.dm/types.ml.html
Source file types.ml
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26(**************************************************************************) (* *) (* VSCoq *) (* *) (* Copyright INRIA and contributors *) (* (see version control and README file for authors & dates) *) (* *) (**************************************************************************) (* *) (* This file is distributed under the terms of the MIT License. *) (* See LICENSE file. *) (* *) (**************************************************************************) open Lsp.Types type sentence_id = Stateid.t type sentence_id_set = Stateid.Set.t type text_edit = Range.t * string type link = { write_to : Unix.file_descr; read_from: Unix.file_descr; } type 'a log = Log : 'a -> 'a log