tc_info.mx raw

   1  ../typecheck/tc_info.mx