Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package obatcher
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
t represents the underlying service that processes and handles batches of operations as input. Only a single batch is active at any time
type wrapped_op = | Mk : 'a op * 'a Picos.Computation.t -> wrapped_op(*
*)wrapped_opbinds the operation on the service with it's corresponding suspended continuation to run after its completion.
val run : t -> wrapped_op array -> unitrun t ops when called on service t, processes all the operations in ops, possibly using parallelism to complete the batch.