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