essential_constraint_vm::asm::short

Constant LTE

Source 
pub const LTE: Constraint;
Expand description

§Lte

0x15

Check if left-hand side is less than or equal to right-hand side.

§Stack Input

[lhs, rhs]

§Stack Output

[lhs <= rhs]