Exemplos de IR.negate em Python

Exemplo n.º 1

def compile_operator_flip(node, state):
    return IR.negate(state.codegen(node.value))

Exemplo n.º 2

def convert_none(node, state):
    return IR.negate(IR.exists(state.compute_path()))