Skip to main content

traversal_enabled

lean_ctx::core::cooccurrence

Function traversal_enabled 

Source 
pub fn traversal_enabled() -> bool
Expand description

Whether traversal (co-access) edges are enabled ([graph] traversal_edges).