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