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