Return last integer greater or equal to initial index, i, such that condition, p, holds

Return last integer greater or equal to initial index, i, such that condition, p, holds

Usage

final(i, p)

Arguments

i

initial index

p

A function (named, anonymous or formula).

Value

an integer

Examples

if (FALSE) {
final(0, \(i) i < 3)
}