let
to_varinfo_map vmap =
fold (
fun
k v mapacc
->
Varinfo
.
Map
.add k v mapacc) vmap
Varinfo
.
Map
.empty