term_typing_rules.v 24 KB