term_typing_rules.v 22.2 KB