Type Definition z3_sys::Z3_ast
[−]
[src]
type Z3_ast = *mut _Z3_ast;
Abstract Syntax Tree node. That is, the data structure used in Z3 to represent terms, formulas, and types.