src/tests/util/import_test.lua - third_party/github.com/leanprover/lean4 - Git at Google


            
            print("importing test...")

            
            function fact(x)

            
               if x == 0 then return 1 else return x * fact(x-1) end

            
            end
	print("importing test...")
	function fact(x)
	if x == 0 then return 1 else return x * fact(x-1) end
	end