Z3_model_eh typedef

Z3_model_eh = NativeFunction<Void Function(Pointer<Void> ctx)>

\brief callback functions for models.

Implementation

typedef Z3_model_eh
    = ffi.NativeFunction<ffi.Void Function(ffi.Pointer<ffi.Void> ctx)>;