functor
(
Flat_array
:
Flat_array
)
->
Flat_array