Searched refs:set_ref (Results 1 – 1 of 1) sorted by relevance
150 fn set_ref(&mut self, binding: BindingId, is_ref: bool) { in set_ref() method500 ctx.set_ref(binding, is_ref); in generate_internal_term_constructors()867 ctx.set_ref(result, true); in emit_expr()1027 ctx.set_ref(binding, true); in emit_constraint()1045 ctx.set_ref(binding, ctx.is_ref.contains(&source)); in emit_constraint()