Struct chalk_engine::stack::StackEntry

pub(crate) struct StackEntry<I: Interner> {
    pub(crate) table: TableIndex,
    pub(crate) clock: TimeStamp,
    pub(crate) cyclic_minimums: Minimums,
    pub(crate) active_strand: Option<Canonical<Strand<I>>>,
}

Fields

table: TableIndex

The goal G from the stack entry A :- G represented here.

clock: TimeStamp

The clock TimeStamp of this stack entry.

cyclic_minimums: Minimums

active_strand: Option<Canonical<Strand<I>>>

Trait Implementations

impl<I: Debug + Interner> Debug for StackEntry<I>

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

Formats the value using the given formatter.