Z3_tactic typedef

Z3_tactic = Pointer<_Z3_tactic>

Implementation

typedef Z3_tactic = ffi.Pointer<_Z3_tactic>;