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