let
set_varinfo name vi =
Hashtbl
.add varinfos name vi