package coq-lsp
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
Language Server Protocol native server for Coq
Install
dune-project
Dependency
Authors
Maintainers
Sources
coq-lsp-0.2.5+9.1.tbz
sha256=488520e2720cd0601a623be39ff87223d81ca1d2f81c77641f803fda21f3717e
sha512=146e43a6a9c516f4e7fe143d4fdf3e1e7ecdcd73ea5cc3e09b2886f68aa05210c016e905bf1596341faa0b55709ad530ef86212c92790b6dce6050a0a00e3325
doc/src/baseline/file_context.ml.html
Source file file_context.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 44 45 46 47 48 49 50 51 52 53 54 55 56module Result = struct type ('a, 'b) t = ('a, 'b) Stdlib.Result.t = | Ok of 'a | Error of 'b end module Either = struct type ('a, 'b) t = ('a, 'b) Stdlib.Either.t = | Left of 'a | Right of 'b end module Point = struct type t = Lang.Point.t = { line : int ; character : int ; offset : int } let empty = { line = 0; character = 0; offset = 0 } end module Range = struct type t = Lang.Range.t = { start : Point.t ; end_ : Point.t } let empty = { start = Point.empty; end_ = Point.empty } let to_string { start; end_ } = Stdlib.Format.asprintf "%d:%d-%d:%d" start.line start.character end_.line end_.character end type 'a t = { name : string ; full_name : string ; uri : string ; range : Range.t ; file_link : string ; raw : string ; v : 'a } let map ~f fc = { fc with v = f fc.v } let dummy name raw v = { name ; full_name = name ; uri = "no_uri" ; range = Range.empty ; file_link = "no_link" ; raw ; v }
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>