Z3_fixedpoint_new_lemma_eh typedef

Z3_fixedpoint_new_lemma_eh = Pointer<NativeFunction<Void Function(Pointer<Void> state, Z3_ast lemma, UnsignedInt level)>>

Implementation

typedef Z3_fixedpoint_new_lemma_eh = ffi.Pointer<
    ffi.NativeFunction<
        ffi.Void Function(
            ffi.Pointer<ffi.Void> state, Z3_ast lemma, ffi.UnsignedInt level)>>;