Documentation for flow typing