Constant SLTR

Source
pub const SLTR: Constraint;
Expand description

§SelectRange

0x08: SLTR

Conditionally keep one of the top two ranges on the stack.

If condition is true, the top range is kept.

The ranges must be of equal length. The ranges must be stacked sequentially. Here N is len -1.

§Stack Input

[arr_a_0, ..arr_a_N, arr_b_0, ..arr_b_N, len, cond]

§Stack Output

[arr_b_0, ..arr_b_N]