Z3_on_clause_eh typedef

Z3_on_clause_eh = NativeFunction<Void Function(Pointer<Void> ctx, Z3_ast proof_hint, UnsignedInt n, Pointer<UnsignedInt> deps, Z3_ast_vector literals)>

Implementation

typedef Z3_on_clause_eh = ffi.NativeFunction<
    ffi.Void Function(
        ffi.Pointer<ffi.Void> ctx,
        Z3_ast proof_hint,
        ffi.UnsignedInt n,
        ffi.Pointer<ffi.UnsignedInt> deps,
        Z3_ast_vector literals)>;