package coq

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type task
type competence
type request
type response
val name : string ref
val extra_env : unit -> string array
val request_of_task : competence AsyncTaskQueue.worker_status -> task -> request option
val task_match : competence AsyncTaskQueue.worker_status -> task -> bool
val use_response : competence AsyncTaskQueue.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
OCaml

Innovation. Community. Security.