sig
  val compute :
    master:(string * 'c -> string -> (string * 'c) list) ->
    (string * 'c) list -> unit
end