Module Procedures.Poll

type 'a t
val poll : 'a t -> (Id.t, 'a option) Decl.Request.t
val cancel : 'a t -> Id.t Decl.Notification.t
module Name : sig ... end
val name : 'a t -> Name.t
val make : Name.t -> (Id.t, 'a option) Decl.Request.gen list -> 'a t
val progress : Progress.t t
val diagnostic : Diagnostic.Event.t list t
val running_jobs : Job.Event.t list t