import type { Snippet } from 'svelte';
import type { Definition, RulesPaths } from '../core/index.mjs';
declare function $$render<D extends Definition, P extends RulesPaths<D>>(): {
    props: {
        path: P;
        data?: (D extends readonly import("../core/index.mjs").Action[] ? (D[number] extends infer T ? T extends D[number] ? T extends unknown ? import("../core/index.mjs").ActionName<T> extends P ? T : never : never : never : never) extends infer T_1 ? T_1 extends (D[number] extends infer T_4 ? T_4 extends D[number] ? T_4 extends unknown ? import("../core/index.mjs").ActionName<T_4> extends P ? T_4 : never : never : never : never) ? T_1 extends {
            type: infer T_2;
            required: true;
        } ? [T_2] : T_1 extends {
            type: infer T_3;
        } ? [(T_3 | undefined)?] : [] : never : never : P extends `${infer K}.${infer Tail}` ? K extends keyof D ? D[K] extends infer T_5 ? T_5 extends D[K] ? T_5 extends readonly import("../core/index.mjs").Action[] ? (T_5[number] extends infer T_6 ? T_6 extends T_5[number] ? T_6 extends unknown ? import("../core/index.mjs").ActionName<T_6> extends Tail ? T_6 : never : never : never : never) extends infer T_7 ? T_7 extends (T_5[number] extends infer T_8 ? T_8 extends T_5[number] ? T_8 extends unknown ? import("../core/index.mjs").ActionName<T_8> extends Tail ? T_8 : never : never : never : never) ? T_7 extends {
            type: infer T_2;
            required: true;
        } ? [T_2] : T_7 extends {
            type: infer T_3;
        } ? [(T_3 | undefined)?] : [] : never : never : Tail extends `${infer K}.${infer Tail}` ? K extends keyof T_5 ? T_5[K] extends infer T_9 ? T_9 extends T_5[K] ? T_9 extends readonly import("../core/index.mjs").Action[] ? (T_9[number] extends infer T_10 ? T_10 extends T_9[number] ? T_10 extends unknown ? import("../core/index.mjs").ActionName<T_10> extends Tail ? T_10 : never : never : never : never) extends infer T_11 ? T_11 extends (T_9[number] extends infer T_12 ? T_12 extends T_9[number] ? T_12 extends unknown ? import("../core/index.mjs").ActionName<T_12> extends Tail ? T_12 : never : never : never : never) ? T_11 extends {
            type: infer T_2;
            required: true;
        } ? [T_2] : T_11 extends {
            type: infer T_3;
        } ? [(T_3 | undefined)?] : [] : never : never : Tail extends `${infer K}.${infer Tail}` ? K extends keyof T_9 ? T_9[K] extends infer T_13 ? T_13 extends T_9[K] ? T_13 extends readonly import("../core/index.mjs").Action[] ? (T_13[number] extends infer T_14 ? T_14 extends T_13[number] ? T_14 extends unknown ? import("../core/index.mjs").ActionName<T_14> extends Tail ? T_14 : never : never : never : never) extends infer T_15 ? T_15 extends (T_13[number] extends infer T_16 ? T_16 extends T_13[number] ? T_16 extends unknown ? import("../core/index.mjs").ActionName<T_16> extends Tail ? T_16 : never : never : never : never) ? T_15 extends {
            type: infer T_2;
            required: true;
        } ? [T_2] : T_15 extends {
            type: infer T_3;
        } ? [(T_3 | undefined)?] : [] : never : never : Tail extends `${infer K}.${infer Tail}` ? K extends keyof T_13 ? T_13[K] extends infer T_17 ? T_17 extends T_13[K] ? T_17 extends readonly import("../core/index.mjs").Action[] ? (T_17[number] extends infer T_18 ? T_18 extends T_17[number] ? T_18 extends unknown ? import("../core/index.mjs").ActionName<T_18> extends Tail ? T_18 : never : never : never : never) extends infer T_19 ? T_19 extends (T_17[number] extends infer T_20 ? T_20 extends T_17[number] ? T_20 extends unknown ? import("../core/index.mjs").ActionName<T_20> extends Tail ? T_20 : never : never : never : never) ? T_19 extends {
            type: infer T_2;
            required: true;
        } ? [T_2] : T_19 extends {
            type: infer T_3;
        } ? [(T_3 | undefined)?] : [] : never : never : Tail extends `${infer K}.${infer Tail}` ? K extends keyof T_17 ? T_17[K] extends infer T_21 ? T_21 extends T_17[K] ? T_21 extends readonly import("../core/index.mjs").Action[] ? (T_21[number] extends infer T_22 ? T_22 extends T_21[number] ? T_22 extends unknown ? import("../core/index.mjs").ActionName<T_22> extends Tail ? T_22 : never : never : never : never) extends infer T_23 ? T_23 extends (T_21[number] extends infer T_24 ? T_24 extends T_21[number] ? T_24 extends unknown ? import("../core/index.mjs").ActionName<T_24> extends Tail ? T_24 : never : never : never : never) ? T_23 extends {
            type: infer T_2;
            required: true;
        } ? [T_2] : T_23 extends {
            type: infer T_3;
        } ? [(T_3 | undefined)?] : [] : never : never : Tail extends `${infer K}.${infer Tail}` ? K extends keyof T_21 ? T_21[K] extends infer T_25 ? T_25 extends T_21[K] ? T_25 extends readonly import("../core/index.mjs").Action[] ? (T_25[number] extends infer T_26 ? T_26 extends T_25[number] ? T_26 extends unknown ? import("../core/index.mjs").ActionName<T_26> extends Tail ? T_26 : never : never : never : never) extends infer T_27 ? T_27 extends (T_25[number] extends infer T_28 ? T_28 extends T_25[number] ? T_28 extends unknown ? import("../core/index.mjs").ActionName<T_28> extends Tail ? T_28 : never : never : never : never) ? T_27 extends {
            type: infer T_2;
            required: true;
        } ? [T_2] : T_27 extends {
            type: infer T_3;
        } ? [(T_3 | undefined)?] : [] : never : never : Tail extends `${infer K}.${infer Tail}` ? K extends keyof T_25 ? T_25[K] extends infer T_29 ? T_29 extends T_25[K] ? T_29 extends readonly import("../core/index.mjs").Action[] ? (T_29[number] extends infer T_30 ? T_30 extends T_29[number] ? T_30 extends unknown ? import("../core/index.mjs").ActionName<T_30> extends Tail ? T_30 : never : never : never : never) extends infer T_31 ? T_31 extends (T_29[number] extends infer T_32 ? T_32 extends T_29[number] ? T_32 extends unknown ? import("../core/index.mjs").ActionName<T_32> extends Tail ? T_32 : never : never : never : never) ? T_31 extends {
            type: infer T_2;
            required: true;
        } ? [T_2] : T_31 extends {
            type: infer T_3;
        } ? [(T_3 | undefined)?] : [] : never : never : Tail extends `${infer K}.${infer Tail}` ? K extends keyof T_29 ? T_29[K] extends infer T_33 ? T_33 extends T_29[K] ? T_33 extends readonly import("../core/index.mjs").Action[] ? (T_33[number] extends infer T_34 ? T_34 extends T_33[number] ? T_34 extends unknown ? import("../core/index.mjs").ActionName<T_34> extends Tail ? T_34 : never : never : never : never) extends infer T_35 ? T_35 extends (T_33[number] extends infer T_36 ? T_36 extends T_33[number] ? T_36 extends unknown ? import("../core/index.mjs").ActionName<T_36> extends Tail ? T_36 : never : never : never : never) ? T_35 extends {
            type: infer T_2;
            required: true;
        } ? [T_2] : T_35 extends {
            type: infer T_3;
        } ? [(T_3 | undefined)?] : [] : never : never : Tail extends `${infer K}.${infer Tail}` ? K extends keyof T_33 ? T_33[K] extends infer T_37 ? T_37 extends T_33[K] ? T_37 extends readonly import("../core/index.mjs").Action[] ? (T_37[number] extends infer T_38 ? T_38 extends T_37[number] ? T_38 extends unknown ? import("../core/index.mjs").ActionName<T_38> extends Tail ? T_38 : never : never : never : never) extends infer T_39 ? T_39 extends (T_37[number] extends infer T_40 ? T_40 extends T_37[number] ? T_40 extends unknown ? import("../core/index.mjs").ActionName<T_40> extends Tail ? T_40 : never : never : never : never) ? T_39 extends {
            type: infer T_2;
            required: true;
        } ? [T_2] : T_39 extends {
            type: infer T_3;
        } ? [(T_3 | undefined)?] : [] : never : never : Tail extends `${infer K}.${infer Tail}` ? K extends keyof T_37 ? never : never : never : never : never : never : never : never : never : never : never : never : never : never : never : never : never : never : never : never : never : never : never : never : never : never : never : never : never : never : never : never : never : never : never : never : never : never : never)[0] | undefined;
        reverse?: boolean;
        children: Snippet;
        otherwise?: Snippet;
    };
    exports: {};
    bindings: "";
    slots: {};
    events: {};
};
declare class __sveltets_Render<D extends Definition, P extends RulesPaths<D>> {
    props(): ReturnType<typeof $$render<D, P>>['props'];
    events(): ReturnType<typeof $$render<D, P>>['events'];
    slots(): ReturnType<typeof $$render<D, P>>['slots'];
    bindings(): "";
    exports(): {};
}
interface $$IsomorphicComponent {
    new <D extends Definition, P extends RulesPaths<D>>(options: import('svelte').ComponentConstructorOptions<ReturnType<__sveltets_Render<D, P>['props']>>): import('svelte').SvelteComponent<ReturnType<__sveltets_Render<D, P>['props']>, ReturnType<__sveltets_Render<D, P>['events']>, ReturnType<__sveltets_Render<D, P>['slots']>> & {
        $$bindings?: ReturnType<__sveltets_Render<D, P>['bindings']>;
    } & ReturnType<__sveltets_Render<D, P>['exports']>;
    <D extends Definition, P extends RulesPaths<D>>(internal: unknown, props: ReturnType<__sveltets_Render<D, P>['props']> & {}): ReturnType<__sveltets_Render<D, P>['exports']>;
    z_$$bindings?: ReturnType<__sveltets_Render<any, any>['bindings']>;
}
declare const Check: $$IsomorphicComponent;
type Check<D extends Definition, P extends RulesPaths<D>> = InstanceType<typeof Check<D, P>>;
export default Check;