sig   type 'a t   type key = int   val empty : eq:('-> '-> bool) -> 'BatIMap.t   val singleton : eq:('-> '-> bool) -> int -> '-> 'BatIMap.t   val is_empty : 'BatIMap.t -> bool   val add : int -> '-> 'BatIMap.t -> 'BatIMap.t   val add_range : int -> int -> '-> 'BatIMap.t -> 'BatIMap.t   val find : int -> 'BatIMap.t -> 'a   val modify : int -> ('-> 'a) -> 'BatIMap.t -> 'BatIMap.t   val modify_def : '-> int -> ('-> 'a) -> 'BatIMap.t -> 'BatIMap.t   val modify_opt :     int -> ('a option -> 'a option) -> 'BatIMap.t -> 'BatIMap.t   val remove : int -> 'BatIMap.t -> 'BatIMap.t   val remove_range : int -> int -> 'BatIMap.t -> 'BatIMap.t   val from : int -> 'BatIMap.t -> 'BatIMap.t   val after : int -> 'BatIMap.t -> 'BatIMap.t   val until : int -> 'BatIMap.t -> 'BatIMap.t   val before : int -> 'BatIMap.t -> 'BatIMap.t   val mem : int -> 'BatIMap.t -> bool   val iter : (int -> '-> unit) -> 'BatIMap.t -> unit   val iter_range : (int -> int -> '-> unit) -> 'BatIMap.t -> unit   val map :     ?eq:('-> '-> bool) -> ('-> 'b) -> 'BatIMap.t -> 'BatIMap.t   val mapi :     ?eq:('-> '-> bool) ->     (int -> '-> 'b) -> 'BatIMap.t -> 'BatIMap.t   val map_range :     ?eq:('-> '-> bool) ->     (int -> int -> '-> 'b) -> 'BatIMap.t -> 'BatIMap.t   val fold : (int -> '-> '-> 'a) -> 'BatIMap.t -> '-> 'a   val fold_range : (int -> int -> '-> '-> 'a) -> 'BatIMap.t -> '-> 'a   val set_to_map : ?eq:('-> '-> bool) -> BatISet.t -> '-> 'BatIMap.t   val domain : 'BatIMap.t -> BatISet.t   val map_to_set : ('-> bool) -> 'BatIMap.t -> BatISet.t   val enum : 'BatIMap.t -> (int * int * 'a) BatEnum.t   val of_enum :     eq:('-> '-> bool) -> (int * int * 'a) BatEnum.t -> 'BatIMap.t   val fold2_range :     (int -> int -> 'a option -> 'b option -> '-> 'c) ->     'BatIMap.t -> 'BatIMap.t -> '-> 'c   val union :     ('-> '-> 'a) -> 'BatIMap.t -> 'BatIMap.t -> 'BatIMap.t   val merge :     ?eq:('-> '-> bool) ->     (int -> int -> 'a option -> 'b option -> 'c option) ->     'BatIMap.t -> 'BatIMap.t -> 'BatIMap.t   val forall2_range :     (int -> int -> 'a option -> 'b option -> bool) ->     'BatIMap.t -> 'BatIMap.t -> bool   val get_dec_eq : 'BatIMap.t -> '-> '-> bool   module Infix :     sig       val ( --> ) : 'BatIMap.t -> int -> 'a       val ( <-- ) : 'BatIMap.t -> int * '-> 'BatIMap.t     end end