term_typing_rules.v 22 KB