sig
val iter : ('a -> 'b Rml_fake.process) -> 'a list -> unit Rml_fake.process
val iter2 :
('a -> 'b -> 'c Rml_fake.process) ->
'a list -> 'b list -> unit Rml_fake.process
val par_iter :
('a -> 'b Rml_fake.process) -> 'a list -> unit Rml_fake.process
val par_iter2 :
('a -> 'b -> 'c Rml_fake.process) ->
'a list -> 'b list -> unit Rml_fake.process
val map :
('a -> 'b Rml_fake.process) -> 'a list -> 'b list Rml_fake.process
val map2 :
('a -> 'b -> 'c Rml_fake.process) ->
'a list -> 'b list -> 'c list Rml_fake.process
val rev_map :
('a -> 'b Rml_fake.process) -> 'a list -> 'c list Rml_fake.process
val rev_map2 :
('a -> 'b -> 'c Rml_fake.process) ->
'a list -> 'b list -> 'd list Rml_fake.process
val par_map :
('a -> 'b Rml_fake.process) -> 'a list -> 'b list Rml_fake.process
val par_map2 :
('a -> 'b -> 'c Rml_fake.process) ->
'a list -> 'b list -> 'c list Rml_fake.process
val fold_left :
('a -> 'b -> 'a Rml_fake.process) -> 'a -> 'b list -> 'a Rml_fake.process
val fold_left2 :
('a -> 'b -> 'c -> 'a Rml_fake.process) ->
'a -> 'b list -> 'c list -> 'a Rml_fake.process
val fold_right :
('a -> 'b -> 'b Rml_fake.process) -> 'a list -> 'b -> 'b Rml_fake.process
val fold_right2 :
('a -> 'b -> 'c -> 'c Rml_fake.process) ->
'a list -> 'b list -> 'c -> 'c Rml_fake.process
end