Function folding::expressions::folding_expression
source · pub fn folding_expression<C: FoldingConfig>(
exps: Vec<FoldingCompatibleExpr<C>>
) -> (IntegratedFoldingExpr<C>, ExtendedWitnessGenerator<C>, usize)
Expand description
Convert a list of folding compatible expression into the folded form.