Extend the context with the `id: prov_infos` entry.
(&mut self, id: LocalId, prov_infos: Vec<ProvInfo>)
| 851 | |
| 852 | /// Extend the context with the `id: prov_infos` entry. |
| 853 | pub fn insert(&mut self, id: LocalId, prov_infos: Vec<ProvInfo>) -> Option<Vec<ProvInfo>> { |
| 854 | self.lets.insert(id, prov_infos) |
| 855 | } |
| 856 | |
| 857 | /// Remove the entry identified by `id` from the context. |
| 858 | pub fn remove(&mut self, id: &LocalId) -> Option<Vec<ProvInfo>> { |
no outgoing calls