tests/compiler/escape.lean - third_party/github.com/leanprover/lean4 - Git at Google


            
            def main : IO Unit := do

            
                IO.eprintln $ "\rfailed at counter-example"

            
                IO.eprintln $ "\tfailed at counter-example"
	def main : IO Unit := do
	IO.eprintln $ "\rfailed at counter-example"
	IO.eprintln $ "\tfailed at counter-example"