sig   type key   type +'a t   val empty : 'BatMap.S.t   val is_empty : 'BatMap.S.t -> bool   val cardinal : 'BatMap.S.t -> int   val add : BatMap.S.key -> '-> 'BatMap.S.t -> 'BatMap.S.t   val update :     BatMap.S.key -> BatMap.S.key -> '-> 'BatMap.S.t -> 'BatMap.S.t   val find : BatMap.S.key -> 'BatMap.S.t -> 'a   val remove : BatMap.S.key -> 'BatMap.S.t -> 'BatMap.S.t   val modify : BatMap.S.key -> ('-> 'a) -> 'BatMap.S.t -> 'BatMap.S.t   val modify_def :     '-> BatMap.S.key -> ('-> 'a) -> 'BatMap.S.t -> 'BatMap.S.t   val modify_opt :     BatMap.S.key ->     ('a option -> 'a option) -> 'BatMap.S.t -> 'BatMap.S.t   val extract : BatMap.S.key -> 'BatMap.S.t -> 'a * 'BatMap.S.t   val pop : 'BatMap.S.t -> (BatMap.S.key * 'a) * 'BatMap.S.t   val mem : BatMap.S.key -> 'BatMap.S.t -> bool   val iter : (BatMap.S.key -> '-> unit) -> 'BatMap.S.t -> unit   val map : ('-> 'b) -> 'BatMap.S.t -> 'BatMap.S.t   val mapi : (BatMap.S.key -> '-> 'b) -> 'BatMap.S.t -> 'BatMap.S.t   val fold : (BatMap.S.key -> '-> '-> 'b) -> 'BatMap.S.t -> '-> 'b   val filterv : ('-> bool) -> 'BatMap.S.t -> 'BatMap.S.t   val filter : (BatMap.S.key -> '-> bool) -> 'BatMap.S.t -> 'BatMap.S.t   val filter_map :     (BatMap.S.key -> '-> 'b option) -> 'BatMap.S.t -> 'BatMap.S.t   val compare : ('-> '-> int) -> 'BatMap.S.t -> 'BatMap.S.t -> int   val equal : ('-> '-> bool) -> 'BatMap.S.t -> 'BatMap.S.t -> bool   val keys : 'BatMap.S.t -> BatMap.S.key BatEnum.t   val values : 'BatMap.S.t -> 'BatEnum.t   val min_binding : 'BatMap.S.t -> BatMap.S.key * 'a   val pop_min_binding : 'BatMap.S.t -> (BatMap.S.key * 'a) * 'BatMap.S.t   val max_binding : 'BatMap.S.t -> BatMap.S.key * 'a   val pop_max_binding : 'BatMap.S.t -> (BatMap.S.key * 'a) * 'BatMap.S.t   val choose : 'BatMap.S.t -> BatMap.S.key * 'a   val split :     BatMap.S.key ->     'BatMap.S.t -> 'BatMap.S.t * 'a option * 'BatMap.S.t   val partition :     (BatMap.S.key -> '-> bool) ->     'BatMap.S.t -> 'BatMap.S.t * 'BatMap.S.t   val singleton : BatMap.S.key -> '-> 'BatMap.S.t   val bindings : 'BatMap.S.t -> (BatMap.S.key * 'a) list   val enum : 'BatMap.S.t -> (BatMap.S.key * 'a) BatEnum.t   val backwards : 'BatMap.S.t -> (BatMap.S.key * 'a) BatEnum.t   val of_enum : (BatMap.S.key * 'a) BatEnum.t -> 'BatMap.S.t   val for_all : (BatMap.S.key -> '-> bool) -> 'BatMap.S.t -> bool   val exists : (BatMap.S.key -> '-> bool) -> 'BatMap.S.t -> bool   val merge :     (BatMap.S.key -> 'a option -> 'b option -> 'c option) ->     'BatMap.S.t -> 'BatMap.S.t -> 'BatMap.S.t   val print :     ?first:string ->     ?last:string ->     ?sep:string ->     ?kvsep:string ->     ('BatInnerIO.output -> BatMap.S.key -> unit) ->     ('BatInnerIO.output -> '-> unit) ->     'BatInnerIO.output -> 'BatMap.S.t -> unit   module Exceptionless :     sig val find : BatMap.S.key -> 'BatMap.S.t -> 'a option end   module Infix :     sig       val ( --> ) : 'BatMap.S.t -> BatMap.S.key -> 'a       val ( <-- ) : 'BatMap.S.t -> BatMap.S.key * '-> 'BatMap.S.t     end   module Labels :     sig       val add : key:BatMap.S.key -> data:'-> 'BatMap.S.t -> 'BatMap.S.t       val iter :         f:(key:BatMap.S.key -> data:'-> unit) -> 'BatMap.S.t -> unit       val map : f:('-> 'b) -> 'BatMap.S.t -> 'BatMap.S.t       val mapi :         f:(key:BatMap.S.key -> data:'-> 'b) ->         'BatMap.S.t -> 'BatMap.S.t       val filterv : f:('-> bool) -> 'BatMap.S.t -> 'BatMap.S.t       val filter :         f:(BatMap.S.key -> '-> bool) -> 'BatMap.S.t -> 'BatMap.S.t       val fold :         f:(key:BatMap.S.key -> data:'-> '-> 'b) ->         'BatMap.S.t -> init:'-> 'b       val compare :         cmp:('-> '-> int) -> 'BatMap.S.t -> 'BatMap.S.t -> int       val equal :         cmp:('-> '-> bool) -> 'BatMap.S.t -> 'BatMap.S.t -> bool     end end