let type a = int type a = string var x: a := "test" in x end