Enum CircuitConcreteLibfunc

pub enum CircuitConcreteLibfunc {
    AddInput(<AddCircuitInputLibFunc as GenericLibfunc>::Concrete),
    Eval(<EvalCircuitLibFunc as GenericLibfunc>::Concrete),
    GetDescriptor(<GetCircuitDescriptorLibFunc as GenericLibfunc>::Concrete),
    InitCircuitData(<InitCircuitDataLibFunc as GenericLibfunc>::Concrete),
    GetOutput(<GetOutputLibFunc as GenericLibfunc>::Concrete),
    TryIntoCircuitModulus(<TryIntoCircuitModulusLibFunc as GenericLibfunc>::Concrete),
    FailureGuaranteeVerify(<CircuitFailureGuaranteeVerifyLibFunc as GenericLibfunc>::Concrete),
    IntoU96Guarantee(<IntoU96GuaranteeLibFunc as GenericLibfunc>::Concrete),
    U96GuaranteeVerify(<U96GuaranteeVerifyLibFunc as GenericLibfunc>::Concrete),
    U96LimbsLessThanGuaranteeVerify(<U96LimbsLessThanGuaranteeVerifyLibfunc as GenericLibfunc>::Concrete),
    U96SingleLimbLessThanGuaranteeVerify(<U96SingleLimbLessThanGuaranteeVerifyLibfunc as GenericLibfunc>::Concrete),
}

Variants

AddInput(<AddCircuitInputLibFunc as GenericLibfunc>::Concrete)

Eval(<EvalCircuitLibFunc as GenericLibfunc>::Concrete)

GetDescriptor(<GetCircuitDescriptorLibFunc as GenericLibfunc>::Concrete)

InitCircuitData(<InitCircuitDataLibFunc as GenericLibfunc>::Concrete)

GetOutput(<GetOutputLibFunc as GenericLibfunc>::Concrete)

TryIntoCircuitModulus(<TryIntoCircuitModulusLibFunc as GenericLibfunc>::Concrete)

FailureGuaranteeVerify(<CircuitFailureGuaranteeVerifyLibFunc as GenericLibfunc>::Concrete)

IntoU96Guarantee(<IntoU96GuaranteeLibFunc as GenericLibfunc>::Concrete)

U96GuaranteeVerify(<U96GuaranteeVerifyLibFunc as GenericLibfunc>::Concrete)

U96LimbsLessThanGuaranteeVerify(<U96LimbsLessThanGuaranteeVerifyLibfunc as GenericLibfunc>::Concrete)

U96SingleLimbLessThanGuaranteeVerify(<U96SingleLimbLessThanGuaranteeVerifyLibfunc as GenericLibfunc>::Concrete)

Trait Implementations

impl ConcreteLibfunc for CircuitConcreteLibfunc

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.