Condition.is_leq()

Returns true if it is "<=" check, otherwise returns false.

Query Example

from glider import *

def query():

  instructions = Functions().with_name("processProof").exec(1,1).instructions().if_instructions().exec(1)
  print(instructions[0].get_condition().is_leq())

  return instructions

Output Example