@staticmethod<EOL><INDENT>def _lex_lte(x, y, bits):<DEDENT>
return (x & (<NUM_LIT:2> ** bits - <NUM_LIT:1>)) <= (y & (<NUM_LIT:2> ** bits - <NUM_LIT:1>))<EOL>
Lexicographical LTE comparison

:param x: The first operand (integer)
:param y: The second operand (integer)
:param bits: bit-width of the operands
:return: True or False