Added description of how to run the type inference engine.
Added a function print_inference_results to print the type inference results. This is similar to dump_nodetype, but the difference is that dump_nodetype prints out the types in the order of inference and breaks in the middle of the function, whereas the print_inference_results prints out the result for each function (without breaking up in the middle), which I believe is easier to interpret
print_inference_results
to print the type inference results. This is similar todump_nodetype
, but the difference is thatdump_nodetype
prints out the types in the order of inference and breaks in the middle of the function, whereas theprint_inference_results
prints out the result for each function (without breaking up in the middle), which I believe is easier to interpret