Function intern_expr_dedup

crates/kernel/src/env.rs:723–731

()

  }

  /// Insert a block membership entry.
  pub fn insert_block(&mut self, id: KId<M>, members: Vec<KId<M>>) {
    self.blocks.insert(id, members);
  }

  /// Clear all worker-local kernel state before checking another scheduled
  /// block or when a caller needs a fresh environment.
  pub fn clear(&mut self) {
    self.consts.clear();
    self.blocks.clear();
    self.intern.univs.clear();
    self.intern.exprs.clear();