sig
  type ('a, 'c) t
  val create :
    master:('a * 'c -> 'b -> ('a * 'c) list) ->
    ('a, 'c) Functory.Network.Poly.Master.Computation.t
  val add_worker :
    ('a, 'c) Functory.Network.Poly.Master.Computation.t ->
    Functory.Network.worker -> unit
  val remove_worker :
    ('a, 'c) Functory.Network.Poly.Master.Computation.t ->
    Functory.Network.worker -> unit
  val one_step :
    ?timeout:float ->
    ('a, 'c) Functory.Network.Poly.Master.Computation.t -> unit
  val status :
    ('a, 'c) Functory.Network.Poly.Master.Computation.t ->
    Functory.Network.computation_status
  val kill : ('a, 'c) Functory.Network.Poly.Master.Computation.t -> unit
  val clear : ('a, 'c) Functory.Network.Poly.Master.Computation.t -> unit
  val add_task :
    ('a, 'c) Functory.Network.Poly.Master.Computation.t -> 'a * 'c -> unit
  val nb_tasks : ('a, 'c) Functory.Network.Poly.Master.Computation.t -> int
end