let
xvar env vi :
M
.value option =
try
Some
(
Varinfo
.
Map
.find vi env.xvars)
with
Not_found
->
None