package vscoq-language-server

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

module type Job = sig ... end

type job_handle

val cancel_job : job_handle -> unit

val mk_job_handle : (Feedback.route_id * Types.sentence_id) -> job_handle

If the job fails to start, the error is reported on this sentence

module type Worker = sig ... end

module MakeWorker
  (Job : Job) : 
  Worker
    with type job_t = Job.t
     and type job_update_request = Job.update_request