openvm_stark_backend::air_builders::symbolic

Function get_symbolic_builder

Source
pub fn get_symbolic_builder<F, R>(
    rap: &R,
    width: &TraceWidth,
    num_challenges_to_sample: &[usize],
    num_exposed_values_after_challenge: &[usize],
    rap_phase_seq_kind: RapPhaseSeqKind,
    interaction_chunk_size: usize,
) -> SymbolicRapBuilder<F>
where F: Field, R: Rap<SymbolicRapBuilder<F>> + BaseAirWithPublicValues<F> + ?Sized,