Searched refs:root_term (Results 1 – 6 of 6) sorted by relevance
98 rule.root_term, in verify_rules_for_term()
116 rule.root_term, in type_rules_with_term_and_types()240 rule.root_term, in type_annotations_using_rule()
1508 rule.root_term, in display_model()
236 term.entry(rule.root_term) in build()410 if termenv.terms[rule.root_term.index()].is_partial() { in add_rule()
652 pub root_term: TermId, field1075 let termdata = &termenv.terms[self.root_term.index()]; in visit()1547 let term = match rule.pattern.root_term() { in collect_constructors()1933 let root_term = if let Some(term) = self.get_term_by_name(tyenv, sym) { in collect_rules() localVariable1943 let termdata = &self.terms[root_term.index()]; in collect_rules()1992 root_term, in collect_rules()
344 pub fn root_term(&self) -> Option<&Ident> { in root_term() method