Type Alias Z3_ast_map 

pub type Z3_ast_map = NonNull<_Z3_ast_map>;

Mapping from Z3_ast to Z3_ast objects.

Aliased Type

pub struct Z3_ast_map { /* private fields */ }