Example #1
0
def compile_operator_flip(node, state):
    return IR.negate(state.codegen(node.value))
Example #2
0
def convert_none(node, state):
    return IR.negate(IR.exists(state.compute_path()))