let get_vdef (vtype, vname) = (get_tname vtype, get_vname vname)