Z3_string typedef

Z3_string = Pointer<Char>

\brief Z3 string type. It is just an alias for \ccode{const char *}.

Implementation

typedef Z3_string = ffi.Pointer<ffi.Char>;