folding::expressions

Function 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.