Skip to main content

get_width

Function get_width 

Source
pub fn get_width<A: Hash + Eq + Clone>(
    node: NodeId,
    arena: &SLTNodeArena<A>,
) -> usize
Expand description

Return the construction-time width cached when a node was interned.