package vscoq-language-server
VSCoq language server
Install
Dune Dependency
Authors
Maintainers
Sources
vscoq-language-server-2.0.1-coq8.18.tar.gz
md5=0bb4d33ce17c0ff2922b089b62ef6477
sha512=f1918867f09a3bba3276490f9aaae899117d8a37e4e7e2d8d64bf65dc0ad72b0708a7c3075ceaedd86e8ced70796df62169cf7277049b6a45117e3e666187017
doc/vscoq-language-server.dm/Dm/DelegationManager/MakeWorker/index.html
Module DelegationManager.MakeWorker
Source
Parameters
Signature
Event for the main loop
handling an event may require an update to a sentence in the exec state, e.g. when a feedback is received
Source
val worker_available :
jobs:(job_handle * Sel.Event.cancellation_handle * job_t) Queue.t ->
fork_action:(job_t -> send_back:(job_update_request -> unit) -> unit) ->
feedback_cleanup:(unit -> unit) ->
delegation Sel.Event.t
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page