import { TypeOf } from 'io-ts';
import { DeepReadonly } from '../deep-readonly';
export declare const State: import("io-ts").TypeC<{
    sast: import("io-ts").UnionC<[import("io-ts").LiteralC<"arxe">, import("io-ts").LiteralC<"sorn">]>;
    arxe: import("io-ts").TypeC<{
        txifol: import("io-ts").ArrayC<import("io-ts").KeyofC<{
            rav: null;
            tan: null;
            lin: null;
            rez: null;
            jil: null;
            din: null;
            ket: null;
            len: null;
            lax: null;
            nen: null;
            pin: null;
            mat: null;
            kun: null;
            mir: null;
        }>>;
        evol: import("io-ts").UnionC<[import("io-ts").NullC, import("io-ts").KeyofC<{
            rav: null;
            tan: null;
            lin: null;
            rez: null;
            jil: null;
            din: null;
            ket: null;
            len: null;
            lax: null;
            nen: null;
            pin: null;
            mat: null;
            kun: null;
            mir: null;
        }>]>;
    }>;
    sorn: import("io-ts").TypeC<{
        txifol: import("io-ts").ArrayC<import("io-ts").KeyofC<{
            dia: null;
            vio: null;
            lis: null;
            gil: null;
            ful: null;
            dyu: null;
            mel: null;
            ral: null;
            zan: null;
            pal: null;
            mik: null;
            fav: null;
            ruj: null;
            ser: null;
        }>>;
        evol: import("io-ts").UnionC<[import("io-ts").NullC, import("io-ts").KeyofC<{
            dia: null;
            vio: null;
            lis: null;
            gil: null;
            ful: null;
            dyu: null;
            mel: null;
            ral: null;
            zan: null;
            pal: null;
            mik: null;
            fav: null;
            ruj: null;
            ser: null;
        }>]>;
    }>;
    ele: import("io-ts").Type<import("./septuple").Septuple<import("./septuple").Septuple<"tem" | "dia" | "vio" | "lis" | "gil" | "ful" | "dyu" | "mel" | "ral" | "zan" | "pal" | "mik" | "fav" | "ruj" | "ser" | "rav" | "tan" | "lin" | "rez" | "jil" | "din" | "ket" | "len" | "lax" | "nen" | "pin" | "mat" | "kun" | "mir" | null>>, import("./septuple").Septuple<import("./septuple").Septuple<"tem" | "dia" | "vio" | "lis" | "gil" | "ful" | "dyu" | "mel" | "ral" | "zan" | "pal" | "mik" | "fav" | "ruj" | "ser" | "rav" | "tan" | "lin" | "rez" | "jil" | "din" | "ket" | "len" | "lax" | "nen" | "pin" | "mat" | "kun" | "mir" | null>>, unknown>;
    korol: import("io-ts").ArrayC<import("io-ts").KeyofC<{
        pal: null;
        ful: null;
        mik: null;
        fav: null;
        zan: null;
        gil: null;
        ruj: null;
        tan: null;
        jil: null;
        lax: null;
        mat: null;
        kun: null;
        rez: null;
        din: null;
        tem: null;
    }>>;
}>;
export declare type State = TypeOf<typeof State>;
export declare type ReadonlyState = DeepReadonly<State>;