export declare const NavigateToErr: import("scale-ts").Codec<{
    tag: "Unknown";
    value: {
        reason: string;
    };
} | {
    tag: "PermissionDenied";
    value: undefined;
}>;
//# sourceMappingURL=navigation.d.ts.map