Annotation and Inference around function in Typescript

Published --