sig val find : '-> ('a, 'b) BatPMap.t -> 'b option end