Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/Array.mapIdx/./tests/lean/593.lean.expected.out
blob: fdaa9b7591f516826a35a328d1923d5dc39f7e3f [file] [edit]
Foo.Bar.bar : Nat
Foo.Bar.bar : Nat
Foo.Bar.bar : Nat
593.lean:21:7-21:10: error: unknown identifier 'boo'
593.lean:26:7-26:10: error: unknown identifier 'bar'
Foo.boo : Nat
Foo.Bar.bar : Nat
Foo.Bar.bar : Nat