Method mark_rooted

atomic-core/src/apply/workspace.rs:641–643

Mark a position as verified rooted.

(&mut self, pos: Position<NodeId>)

    /// Mark a position as verified rooted.
    pub fn mark_rooted(&mut self, pos: Position<NodeId>) {
        self.rooted.insert(pos);
    }

    /// Check if a position has been verified as rooted.
    pub fn is_rooted(&self, pos: &Position<NodeId>) -> bool {