succ method

@override LambdaBuilder succ()

The successor expression.

Implementation

@override
LambdaBuilder succ() => LambdaBuilder.abstract(
      LambdaBuilder.abstract(
        LambdaBuilder.abstract(
          LambdaBuilder.applyAll([
            LambdaBuilder.fromVar(name: 'y'),
            LambdaBuilder.applyAll(
              [
                LambdaBuilder.fromVar(name: 'x'),
                LambdaBuilder.fromVar(name: 'y'),
                LambdaBuilder.fromVar(name: 'z'),
              ],
            ),
          ]),
          'z',
        ),
        'y',
      ),
      'x',
    );