with

Syntax

def <result> = fold <index> = <start> to <end> [ with <variable> [ = <init> ] ] [ while <condition> ] do <expression>;

Description

The reserved word is used to define an iteration step value in the fold function. For more information, see the fold reserved word article.