Skip to main content

DEP_EDGE_KINDS

lean_ctx::core::graph_analysis

Constant DEP_EDGE_KINDS 

Source 
pub const DEP_EDGE_KINDS: [&str; 2];
Expand description

Edge kinds that represent a genuine directed code dependency (from depends on to).