()
| 713 | pub fn is_empty(&self) -> bool { |
| 714 | self.consts.is_empty() |
| 715 | } |
| 716 | |
| 717 | pub fn contains_key(&self, id: &KId<M>) -> bool { |
| 718 | self.consts.contains_key(id) |
| 719 | } |
| 720 | |
| 721 | /// Iterate over all constants. Returns owned (KId, KConst) pairs. |
| 722 | pub fn iter(&self) -> impl Iterator<Item = (KId<M>, KConst<M>)> + '_ { |
| 723 | self.consts.iter().map(|(id, c)| (id.clone(), c.clone())) |
nothing calls this directly
no test coverage detected