Skip to main content

MAX_CODE_NODE_ID_CHARS

lean_ctx_protocol::hive::codegraph

Constant MAX_CODE_NODE_ID_CHARS 

Source 
pub const MAX_CODE_NODE_ID_CHARS: usize = 700;
Expand description

Characters of a code node id, as for GraphV1 node ids.