Method remove_offset

language/move-prover/bytecode/src/access_path_trie.rs:112–114

Removes the node mapped to `o` from self (if it exists)

(&mut self, o: &Offset)

    /// Removes the node mapped to `o` from self (if it exists)
    pub fn remove_offset(&mut self, o: &Offset) -> Option<Self> {
        self.children.remove(o)
    }

    /// Return true if `self`'s keys can be converted into a compact set of concrete access paths
    /// Note: this says nothing about the `data` part of `self`