term_typing_rules.v 25.5 KB