package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
type task
type competence
type worker_status =
  1. | Fresh
  2. | Old of competence
type request
type response
val name : string ref
val extra_env : unit -> string array
val request_of_task : worker_status -> task -> request option
val task_match : worker_status -> task -> bool
val use_response : worker_status -> task -> response -> [ `End | `Stay of competence * task list ]
val on_marshal_error : string -> task -> unit
val on_task_cancellation_or_expiration_or_slave_death : task option -> unit
val forward_feedback : Feedback.feedback -> unit
val perform : request -> response
val name_of_task : task -> string
val name_of_request : request -> string