sig
  type 'a t
  val map2 :
    ('a -> 'b -> 'c) ->
    'a UtilsLib.ImArrays.t ->
    'b UtilsLib.ImArrays.t -> 'c UtilsLib.ImArrays.t
end