{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"///"}]}
    /// strictly less than the number of nodes, i.e. nodes are densely numbered.
    /// Several graph algorithm implementations assume that every node ID is
    /// That assumption allows them to use `num_nodes` to allocate per-node