let var_type (_, _, t,_)= t