Type Alias OuterVal

pub type OuterVal = BabyBear;

A configuration for outer recursion.

Aliased Type

struct OuterVal { /* private fields */ }

Trait Implementations

impl Witnessable<OuterConfig> for OuterVal

type WitnessVariable = Felt<MontyField31<BabyBearParameters>>

fn read(&self, builder: &mut Builder<OuterConfig>) -> Self::WitnessVariable

fn write(&self, witness: &mut Witness<OuterConfig>)

impl VectorWitnessable<OuterConfig> for OuterVal