tests/elab/kernelBacktrack.lean.out.expected - third_party/github.com/leanprover/lean4 - Git at Google


            
            kernelBacktrack.lean:5:0-5:8: warning: declaration uses `sorry`

            
            kernelBacktrack.lean:7:4-7:7: warning: declaration uses `sorry`
	kernelBacktrack.lean:5:0-5:8: warning: declaration uses `sorry`
	kernelBacktrack.lean:7:4-7:7: warning: declaration uses `sorry`