Reader/index.html#type-t">IBase.LineReader.t</a> <span>&#45;&gt;</span> <a href="index.html#type-typecheck_result">typecheck_result</a></code></dt><dd><p>Main entry point. Typecheck the CFG node given input typestate, and report issues, if found</p></dd></dl></div></body></html>