Enum InnerFunction

pub enum InnerFunction {
    RawCode(RawCode),
    DeprecatedSnippet(Box<dyn DeprecatedSnippet>),
    BasicSnippet(Box<dyn BasicSnippet>),
    NoFunctionBody(NoFunctionBody),
}

Variants

RawCode(RawCode)

DeprecatedSnippet(Box<dyn DeprecatedSnippet>)

BasicSnippet(Box<dyn BasicSnippet>)

NoFunctionBody(NoFunctionBody)

Implementations

impl InnerFunction

pub fn domain(&self) -> DataType

pub fn range(&self) -> DataType

pub fn entrypoint(&self) -> String

Return the entrypoint, label, of the inner function. Used to make a call to this function.

pub fn apply( &self, stack: &mut Vec<BFieldElement>, memory: &HashMap<BFieldElement, BFieldElement>, )

Computes the inner function and applies the resulting change to the given stack