Skip to main content

ExecutableLoopBound

Type Alias ExecutableLoopBound 

Source
pub type ExecutableLoopBound = LoopBound<CompiledExpr>;

Aliased Type§

pub enum ExecutableLoopBound {
    Static(usize),
    Dynamic {
        expr: CompiledExpr,
        width: usize,
        signed: bool,
    },
}

Variants§

§

Static(usize)

§

Dynamic

Fields

§width: usize
§signed: bool