sig
  val find : '-> ('a, 'b) BatMap.PMap.t -> 'b option
  val choose : ('a, 'b) BatMap.PMap.t -> ('a * 'b) option
  val any : ('a, 'b) BatMap.PMap.t -> ('a * 'b) option
end