Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/expose-array-back/./tests/elab/isDefEqPerfIssue.lean.out.expected
blob: 1afc1ea8b689a5cee908fc3092c362252249e0d0 [file] [edit]
isDefEqPerfIssue.lean:6:12-6:13: warning: declaration uses `sorry`