Type Alias Z3_ast 

pub type Z3_ast = NonNull<_Z3_ast>;

Abstract Syntax Tree node. That is, the data structure used in Z3 to represent terms, formulas, and types.

Aliased Type

pub struct Z3_ast { /* private fields */ }