Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/expose-array-back/./tests/elab/decideNative.lean.out.expected
blob: 592cb8df93d5276bb302d26ab4be30fa05ba02a2 [file] [edit]
decideNative.lean:112:0-112:8: warning: declaration uses `sorry`