Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/expose-array-back/./tests/elab/interp.lean.out.expected
blob: 2a7cf765453ac18ad7546b15d9e514902b170998 [file] [edit]
interp.lean:60:4-60:8: warning: declaration uses `sorry`
interp.lean:60:0-64:21: warning: declaration uses `sorry`