"functionally" identical to the type checker. But not functionally identical when it involves my fingers typing (the function there being my ergonomics). Flow

"functionally" identical to the type checker. But not functionally identical when it involves my fingers typing (the function there being my ergonomics). Flow would just be inline comments at the code points required.