Function z3_sys::Z3_mk_not

pub unsafe extern "C" fn Z3_mk_not(c: Z3_context, a: Z3_ast) -> Z3_ast

Create an AST node representing not(a).

The node a must have Boolean sort.