Struct InstanceTree 

pub struct InstanceTree { /* private fields */ }

The full, undeduped instance hierarchy elaborate() produces. Indexed densely by InstanceId (node(id) is O(1)); nodes[i].id.0 == i is an invariant every push in elaborate.rs maintains.

Implementations

impl InstanceTree

pub fn node(&self, id: InstanceId) -> &InstanceNode

pub fn len(&self) -> usize

pub fn is_empty(&self) -> bool

Trait Implementations

impl Debug for InstanceTree

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for InstanceTree

fn default() -> Self

Returns the “default value” for a type.