sig
  module Master :
    sig
      module Computation :
        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
      val compute :
        master:('a * 'c -> 'b -> ('a * 'c) list) -> ('a * 'c) list -> unit
      val map : 'a list -> 'b list
      val map_local_fold : fold:('c -> 'b -> 'c) -> 'c -> 'a list -> 'c
      val map_remote_fold : 'c -> 'a list -> 'c
      val map_fold_ac : 'b -> 'a list -> 'b
      val map_fold_a : 'b -> 'a list -> 'b
    end
  module Worker :
    sig
      val compute : ('a -> 'b) -> Functory.Network.worker_type
      val map : f:('a -> 'b) -> Functory.Network.worker_type
      val map_local_fold : f:('a -> 'b) -> Functory.Network.worker_type
      val map_remote_fold :
        f:('a -> 'b) -> fold:('c -> 'b -> 'c) -> Functory.Network.worker_type
      val map_fold_ac :
        f:('a -> 'b) -> fold:('b -> 'b -> 'b) -> Functory.Network.worker_type
      val map_fold_a :
        f:('a -> 'b) -> fold:('b -> 'b -> 'b) -> Functory.Network.worker_type
    end
end