tests/lean/415.lean.expected.out

((Set.empty.insert 1).insert 2).insert 3 : Set Nat
fun x y => g { x := x, y := y } : Nat → Nat → Nat
fun x y => (Set.empty.insert x).insert y : Nat → Nat → Set Nat
fun x y => { x := x, y := y } : Nat → Nat → Point