module Master:sig..end
module Computation:sig..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