Iterate over all constants. Returns owned (KId, KConst) pairs.
(&self)
| 491 | } |
| 492 | |
| 493 | pub fn contains_key(&self, id: &KId<M>) -> bool { |
| 494 | self.consts.contains_key(id) |
| 495 | } |
| 496 | |
| 497 | /// Iterate over all constants. Returns owned (KId, KConst) pairs. |
| 498 | pub fn iter(&self) -> impl Iterator<Item = (KId<M>, KConst<M>)> + '_ { |