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