Method insert

crates/kernel/src/env.rs:470–478

(&mut self, id: KId<M>, c: KConst<M>)

    self.prims.get().is_some()
  }

  pub fn get(&self, id: &KId<M>) -> Option<KConst<M>> {
    self.consts.get(id).cloned()
  }

  pub fn insert(&mut self, id: KId<M>, c: KConst<M>) {
    if let Some(marker) = super::primitive::reserved_marker_name(&id.addr) {
      panic!(
        "attempted to insert {id} at reserved kernel marker address {marker} ({})",
        id.addr.hex()
      );
    }