../typecheck/tc_decl.mx