Method get_bind_mut

src/analysis/dfa.rs:611–615

(&mut self, var: &VarName)

    }

    pub fn get_bind_mut(&mut self, var: &VarName) -> Result<&mut Symbol<T>> {
        self.get_current_storage_mut()
            .get_mut(var)
            .ok_or_else(|| eyre::eyre!("get bind of var {var:?} failed"))
    }

    /// Merge var storage of different paths when meet path join. The default merge operation is Union.
    fn path_join<F: Fn(Vec<Symbol<T>>) -> Symbol<T>>(