Function intern_univ_dedup

crates/kernel/src/env.rs:703–712

()

  /// seeding, `prims()` would derive primitives from an empty env and
  /// return synthetic `@<hex>` KIds that wouldn't match the real names
  /// later faulted in.
  ///
  /// `Primitives<M>` is large (~2 KB), so the error path is allowed to
  /// be big — the caller hands ownership in and only retrieves it on
  /// failure.
  #[allow(clippy::result_large_err)]
  pub fn set_prims(&mut self, p: Primitives<M>) -> Result<(), Primitives<M>> {
    self.prims.set(p)
  }

  pub fn has_prims(&self) -> bool {
    self.prims.get().is_some()
  }