let x: T = v in e