Type Definition Z3_ast_map
z3_sys
type Z3_ast_map = *mut _Z3_ast_map;
Mapping from Z3_ast to Z3_ast objects.
Z3_ast