test-data/samples/greet.py - third_party/github.com/python/mypy - Git at Google

 import typing


 def greet(name: str) -> None:
     print('Hello', name)
 greet('Jack')
 greet('Jill')
 greet('Bob')
	import typing


	def greet(name: str) -> None:
	print('Hello', name)
	greet('Jack')
	greet('Jill')
	greet('Bob')