let string_of_unop = function
  | Uminus -> "-"
  | Ustar -> "*"
  | Uamp -> "&"
  | Ubw_not -> "~"