def foo()
Inferred type: () -> None

Doc of foo.