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


            
            List.nil : List Unit

            
            [] : _root_.List Unit