sig
  val ( --> ) : 'BatIMap.t -> int -> 'a
  val ( <-- ) : 'BatIMap.t -> int * '-> 'BatIMap.t
end