package vscoq-language-server

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Dm.DelegationManagerSource

Sourcemodule type Job = sig ... end
Sourcetype job_handle
Sourceval cancel_job : job_handle -> unit
Sourceval mk_job_handle : (Feedback.route_id * Types.sentence_id) -> job_handle

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

Sourcemodule type Worker = sig ... end
OCaml

Innovation. Community. Security.