let x : T = v in e