import * as V from './validate';
type Constructor<T> = new (...args: any[]) => T;
export { Validator, Primitive } from './validate';
export type Type<T> = T extends V.Validator<infer U> ? U : never;
type OptionalKeys<T> = {
    [K in keyof T]-?: T[K] & undefined extends never ? never : Required<K>;
}[keyof T];
export declare const t: {
    object<T extends Record<string, V.Validator>>(schemas?: T): V.$object<{ [K_2 in keyof ({ [K_1 in OptionalKeys<{ [K in keyof T]: Type<T[K]>; }>]?: { [K in keyof T]: Type<T[K]>; }[K_1] | undefined; } & Omit<{ [K in keyof T]: Type<T[K]>; }, OptionalKeys<{ [K in keyof T]: Type<T[K]>; }>>)]: ({ [K_1 in OptionalKeys<{ [K in keyof T]: Type<T[K]>; }>]?: { [K in keyof T]: Type<T[K]>; }[K_1] | undefined; } & Omit<{ [K in keyof T]: Type<T[K]>; }, OptionalKeys<{ [K in keyof T]: Type<T[K]>; }>>)[K_2]; }>;
    array<T extends V.Validator>(schema?: T): V.$array<unknown>;
    tuple<T extends V.Validator[]>(...schemas: T): V.$tuple<{ [K in keyof T]: Type<T[K]>; }>;
    literal<T extends V.Primitive>(v: T): V.$literal<T>;
    or<T extends V.Validator[]>(...schemas: T): V.$or<T extends V.Validator<infer I>[] ? I : unknown>;
    symbol(): V.$symbol;
    record<T extends V.Validator<unknown>>(schema: T): V.$record<Type<T>>;
    function(): V.$function;
    boolean(): V.$boolean;
    string(): V.$string;
    number(): V.$number;
    undefined(): V.$undefined;
    null(): V.$null;
    unknown(): V.$any<unknown>;
    any(): V.$any<any>;
    as<T>(): V.$any<T>;
    arraybuffer(): V.$arraybuffer;
    enum<T extends (string | number)[]>(...values: T): V.$enum<T[number]>;
    typedarray<T extends V.TypedArray>(ctor: Constructor<T>): V.$typedarray<T>;
};
export declare function typeAsserts<T extends V.Validator>(validator: T, x: unknown, path?: string): asserts x is Type<T>;