Z3_ast typedef

Z3_ast = Pointer<_Z3_ast>

Implementation

typedef Z3_ast = ffi.Pointer<_Z3_ast>;