let get_var_type v = get_vd_type v.var_def