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


          
            
            #[{ root := FilePath.mk "Reformat", fileName := "Input.lean" }]