\(x: let x = 0 in Sort) -> 1