unused code: transforms ANF-based information from flow analysis into information that a syntax-directed type checker could use
unused code: transforms ANF-based information from flow analysis into information that a syntax-directed type checker could use

brownplt/strobe-old,brownplt/strobe-old,brownplt/strobe-old