let
  type a = string
  var x: a := 1
in
  x
end