Re-exports§
pub use self::tree::Tree;
Modules§
- diagnostics
- foreign_
access_ 🔒skipping - perms 🔒
- tree 🔒
- In this file we handle the “Tree” part of Tree Borrows, i.e. all tree traversal functions, optimizations to trim branches, and keeping track of the relative position of the access to each node being updated. This of course also includes the definition of the tree structure.
- tree_
visitor 🔒 - unimap 🔒
- This module implements the
UniMap, which is a way to get efficient mappings optimized for the setting oftree_borrows/tree.rs. - wildcard 🔒
Structs§
- NewPermission
- Policy for a new borrow.