tests/lean/529.lean.expected.out

def f1 : Nat → Nat :=
fun x => Foo.f x x
def f2 : Nat → Nat :=
fun x => Foo.f x x
def f1 : Nat → Nat :=
fun x => x ++ x