with SpecsTo API docTo spec; use SpecsTo API docTo spec;
package Central_ServerTo API docTo body is
task ServerTo API docTo body is
entry ComputeTo API docTo body (Job : JobsTo API docTo spec; Diverge_Column : out Natural_ArrayTo API docTo spec);
end ServerTo API docTo specTo body;
end Central_ServerTo API docTo specTo body;