Discard values from left, while a test passes.
an array
test function (v, i, x)
x[T..] | ft(x[i]) = true ∀ i ∈ [0, T-1] & ft(x[T]) = false
Generated using TypeDoc
Discard values from left, while a test passes.