package vscoq-language-server
VSCoq language server
Install
Dune Dependency
Authors
Maintainers
Sources
vscoq-language-server-2.2.1.tar.gz
md5=06737aa7d96bbf42f89db3c86ef3e4dd
sha512=5118f26e5b687bc918de3409870464702f3fafc0c775ad5fac4835fc7954df66beaf83bc3a413476176160773215aae1d292816c49dc192c94566bba0fbe5a5b
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 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43
(**************************************************************************) (* *) (* 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 exec_overview = { prepared: Range.t list; processing : Range.t list; processed : Range.t list; } let empty_overview = {processing = []; processed = []; prepared = []} [%%if coq = "8.18" || coq = "8.19" || coq = "8.20"] module Quickfix = struct type t = unit let from_exception _ = Ok([]) let pp = Pp.mt let loc _ = Loc.make_loc (0,0) end [%%endif] 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
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>