pub trait UnificationStoreMut: UnificationStoreBase {
// Required methods
fn reset_unifications(
&mut self,
value: impl FnMut(u32) -> VarValue<Self::Key>
);
fn push(&mut self, value: VarValue<Self::Key>);
fn reserve(&mut self, num_new_values: usize);
fn update<F>(&mut self, index: usize, op: F)
where F: FnOnce(&mut VarValue<Self::Key>);
}