import { AnyExpression, Expression } from '../../expressions';
import { ConstraintConfig } from '../../functions';
import { BooleanType, Type } from '../index';
import { BigintArg } from '../math';
export declare const ARRAY: <O extends Type<keyof import("../index").DefaultOutputMapping<any>, boolean, any>>(of: O) => ArrayType<O, true>;
export declare type ArrayArg<T extends Type = Type> = ArrayType<T>['argument'];
export interface ArrayType<T extends Type = Type, R extends boolean = boolean> extends Type<'ARRAY', R, T['output']> {
    expression: ArrayExpression<T, R>;
    argument: Expression<ArrayType<T>> | this['input'] | Expression<T>[] | Expression;
    required(conf?: ConstraintConfig): ArrayType<T, false>;
}
export interface ArrayExpression<T extends Type = Type, R extends boolean = boolean> extends AnyExpression<ArrayType<T, R>> {
    concat(arr: ArrayArg<T>): Expression<ArrayType<T, R>>;
    overlap(arg: ArrayArg<T>): Expression<BooleanType<R>>;
    unshift(arg: T['argument']): Expression<ArrayType<T, R>>;
    push(arg: T['argument']): Expression<ArrayType<T, R>>;
    contain(arg: ArrayArg<T>): Expression<BooleanType<R>>;
    contained(arg: ArrayArg<T>): Expression<BooleanType<R>>;
    item(l: BigintArg): Expression<T>;
    item(l: BigintArg, u: BigintArg): Expression<ArrayType<T, R>>;
    item(l: BigintArg, u?: BigintArg): Expression<ArrayType<T, R>> | Expression<T>;
}