-- test-type_annotations.lua

function F(String s, Number t)
	return true
end

print(F('hello',2))
print(F('fred','hell'))