import { has as has_, URI } from '@traversable/registry';
import * as t from './schema.js';
export declare const key: t.union<[t.string, t.number, t.symbol]>;
export interface has<KS extends readonly (keyof any)[], S> {
    tag: URI.has;
    (u: unknown): u is this['_type'];
    _type: has_<KS, S['_type' & keyof S]>;
    def: [path: KS, predicate: S];
}
export declare function has<KS extends readonly (keyof any)[], S extends t.Predicate>(...args: readonly [...path: KS, leafSchema?: S]): has<KS, t.of<S>>;
export declare function has<KS extends readonly (keyof any)[], S extends t.Schema>(...args: readonly [...path: KS, leafSchema?: S]): has<KS, S>;
export declare function has<KS extends readonly (keyof any)[]>(...path: readonly [...KS]): has<KS, t.union<[t.nonnullable, t.null]>>;
//# sourceMappingURL=has.d.ts.map