def foo()
Inferred type: () -> None
Doc of foo.