def greater_exclusive(self, node):
lhs_type = node.lhs.apply(self)
if lhs_type is not None:
lhs_checker = lhs_type.checker()
rhs = node.rhs.apply(self)
if rhs is not None:
result = lhs_checker.greater_exclusive(rhs)
if result is not None:
return Boolean(0, '')
return None
def or_(self, node):
lhs_type = node.lhs.apply(self)
if lhs_type is not None:
lhs_checker = lhs_type.checker()
rhs = node.rhs.apply(self)
if rhs is not None:
result = lhs_checker.or_(rhs)
if result is not None:
return Boolean(0, '')
return None