term_typing_rules.v 22.3 KB