term_typing_rules.v 24.2 KB