Type Alias Z3_app 

pub type Z3_app = NonNull<_Z3_app>;

Kind of AST used to represent function applications.

Aliased Type

pub struct Z3_app { /* private fields */ }