Struct ErasedInliner 

pub struct ErasedInliner {
    pub inlined: u64,
    /* private fields */
}

Inline simple constants in an erased expression.

Fields

inlined: u64

Implementations

impl ErasedInliner

pub fn new() -> Self

Create an inliner with definitions.

pub fn register(&mut self, name: &str, def: ErasedExprExt)

Register a constant definition.

pub fn inline(&mut self, expr: ErasedExprExt) -> ErasedExprExt

Inline constants in an expression.

Trait Implementations

impl Default for ErasedInliner

fn default() -> Self

Returns the “default value” for a type.