Enum BoundedIntConcreteLibfunc

pub enum BoundedIntConcreteLibfunc {
    Add(<BoundedIntAddLibfunc as GenericLibfunc>::Concrete),
    Sub(<BoundedIntSubLibfunc as GenericLibfunc>::Concrete),
    Mul(<BoundedIntMulLibfunc as GenericLibfunc>::Concrete),
    DivRem(<BoundedIntDivRemLibfunc as GenericLibfunc>::Concrete),
    Constrain(<BoundedIntConstrainLibfunc as GenericLibfunc>::Concrete),
    IsZero(<BoundedIntIsZeroLibfunc as GenericLibfunc>::Concrete),
    WrapNonZero(<BoundedIntWrapNonZeroLibfunc as GenericLibfunc>::Concrete),
}

Variants

Add(<BoundedIntAddLibfunc as GenericLibfunc>::Concrete)

Sub(<BoundedIntSubLibfunc as GenericLibfunc>::Concrete)

Mul(<BoundedIntMulLibfunc as GenericLibfunc>::Concrete)

DivRem(<BoundedIntDivRemLibfunc as GenericLibfunc>::Concrete)

Constrain(<BoundedIntConstrainLibfunc as GenericLibfunc>::Concrete)

IsZero(<BoundedIntIsZeroLibfunc as GenericLibfunc>::Concrete)

WrapNonZero(<BoundedIntWrapNonZeroLibfunc as GenericLibfunc>::Concrete)

Trait Implementations

impl ConcreteLibfunc for BoundedIntConcreteLibfunc

fn param_signatures(&self) -> &[ParamSignature]

The parameter types and other information for the parameters for calling a library function.

fn branch_signatures(&self) -> &[BranchSignature]

The output types and other information returning from a library function per branch.

fn fallthrough(&self) -> Option<usize>

The index of the fallthrough branch of the library function if any.

fn output_types(&self) -> Vec<Vec<ConcreteTypeId>>

Returns the output types returning from a library function per branch.