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


            
            ["Testing module documentation. ", "Another module doc. "]

            
            ["Evaluation by reduction "]

            
            ["Reading/writing LSP messages from/to IO handles. "]
	["Testing module documentation. ", "Another module doc. "]
	["Evaluation by reduction "]
	["Reading/writing LSP messages from/to IO handles. "]