Searched refs:termdata (Results 1 – 2 of 2) sorted by relevance
865 termdata.ret_ty, in visit()968 match &termdata.kind { in visit()1566 match &mut termdata.kind { in collect_constructors()1640 match &mut termdata.kind { in collect_extractor_templates()1811 match &mut termdata.kind { in collect_externs()1866 match &mut termdata.kind { in collect_externs()2224 let ret_ty = termdata.ret_ty; in translate_pattern()2257 match &termdata.kind { in translate_pattern()2302 termdata: &Term, in translate_args()2307 .zip(termdata.arg_tys.iter()) in translate_args()[all …]
463 let termdata = &self.termenv.terms[termid.index()]; in generate_internal_term_constructors() localVariable464 let term_name = &self.typeenv.syms[termdata.name.index()]; in generate_internal_term_constructors()485 let sig = termdata.constructor_sig(self.typeenv).unwrap(); in generate_internal_term_constructors()537 termdata.decl_pos.pretty_print_line(&self.files) in generate_internal_term_constructors()633 let termdata = &self.termenv.terms[term.index()]; in emit_block_contents() localVariable634 let sig = termdata.extractor_sig(self.typeenv).unwrap(); in emit_block_contents()636 if termdata.has_external_extractor() { in emit_block_contents()646 let termdata = &self.termenv.terms[term.index()]; in emit_block_contents() localVariable649 if termdata.has_external_constructor() { in emit_block_contents()862 let termdata = &self.termenv.terms[term.index()]; in emit_expr() localVariable[all …]