import { Predicate, Static } from '../types';
export declare const and: <T extends readonly Predicate<any>[]>(...predicates: T) => Predicate<StaticAnd<T>>;
export declare type StaticAnd<T extends ReadonlyArray<Predicate<any>>> = T extends Readonly<[]> ? unknown : T extends Readonly<[infer A, ...infer B]> ? A extends Predicate<any> ? B extends ReadonlyArray<Predicate<any>> ? Static<A> & StaticAnd<B> : never : never : never;