/// <reference types="./node_modules/miniprogram-api-typings/" />
import type { IfEquals } from "hry-types/src/Any/IfEquals";
import type { IfExtends } from "hry-types/src/Any/IfExtends";
import type { NoInfer } from "hry-types/src/Generic/NoInfer";
import type { WMNavigateToOption } from "../types/OfficialTypeAlias";
import type { RequiredKeys } from "../types/RequiredKeys";
import type { PageDoc } from "./DefineComponent/ReturnType/PageDoc";
type NavigateToOption<T extends PageDoc> = {
    url: T["path"];
} & IfExtends<unknown, T["properties"], unknown, IfEquals<RequiredKeys<NonNullable<T["properties"]>>, never, {
    data?: T["properties"];
}, {
    data: T["properties"];
}>> & Omit<WMNavigateToOption, "url">;
export declare function navigateTo<TPageDoc extends PageDoc = never>(option: NoInfer<NavigateToOption<TPageDoc>>): Promise<WechatMiniprogram.NavigateToSuccessCallbackResult>;
export {};