Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/expose-array-back/./tests/elab/explicitOpenDeclIssue.lean.out.expected
blob: bef66f3a64065533a1e98f4e0b8bfaf451a2ba33 [file] [edit]
Foo.Bar.a : Bar
Foo.Bar.a : Bar
Foo.Bar.a : Bar