Skip to main content

get_symbolic_builder

openvm_stark_backend::air_builders::symbolic

Function get_symbolic_builder 

Source 
pub fn get_symbolic_builder<F, R>(
    rap: &R,
    width: &TraceWidth,
) -> SymbolicRapBuilder<F>
where
    F: Field,
    R: Air<SymbolicRapBuilder<F>> + BaseAirWithPublicValues<F> + ?Sized,