let
var_id_to_type id =
type_table
#
get_type (global_var_id
#
get_name_of id)