Worker.Makemodule Main : Distribution.Main_protocol.Smodule Msg : Communication.Message.Smodule D :
Communication.Distributed_wrapper.Enriched_process
with type 'a M.step = 'a Msg.step
and type 'a M.request = 'a Msg.request
and type 'a M.reply = 'a Msg.reply
and type 'a io = 'a Lwt.tval worker_proc : string -> Distributed.Process_id.t -> unit -> 'a D.t