Z3_ast_map typedef

Z3_ast_map = Pointer<_Z3_ast_map>

Implementation

typedef Z3_ast_map = ffi.Pointer<_Z3_ast_map>;