Z3_constructor_list typedef

Z3_constructor_list = Pointer<_Z3_constructor_list>

Implementation

typedef Z3_constructor_list = ffi.Pointer<_Z3_constructor_list>;