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


            
            "one" : String

            
            "bla!" : String