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