Struct CNode 

pub struct CNode {
    pub id: u32,
    pub op: COp,
}

A slot-resolved node with its compile-assigned identity: id is the node’s pre-order position across the whole body, indexing the program’s paths table so execution tracing can address the node the way the world checker’s faults do.

Fields

id: u32

Pre-order position across the body, and index into Program::paths.

op: COp

What the node does.

Trait Implementations

impl Debug for CNode

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

Formats the value using the given formatter.