let
get_varinfo_option name =
try
Some
(
Hashtbl
.find varinfos name)
with
|
_
->
None