term_typing_rules.v 21.9 KB