Struct LoopVersion 

pub struct LoopVersion {
    pub cond_var: LcnfVarId,
    pub fast_path_header: LcnfVarId,
    pub slow_path_header: LcnfVarId,
}

Represents a versioned loop: an if-then-else where each branch has a specialized loop copy optimized for a specific condition.

Fields

cond_var: LcnfVarId

The discriminating condition variable.

fast_path_header: LcnfVarId

Header of the “true” branch (optimized version).

slow_path_header: LcnfVarId

Header of the “false” branch (generic version).

Trait Implementations

impl Clone for LoopVersion

fn clone(&self) -> LoopVersion

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for LoopVersion

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

Formats the value using the given formatter.