Annotated more function types and some cleanups#1210

Merged

lefou merged 1 commit intocom-lihaoyi:masterfrom lefou:review

Mar 13, 2021

+384-339

Commits on Mar 13, 2021

Annotated more function types and some cleanups
lefou
committed