tc_checker.mx raw

   1  ../typecheck/tc_checker.mx