import { Result } from "../result";
import { TypedKind } from "../kind";
import { Projection, Type, TypeImpl } from "../type";
export declare class Arr<T> extends TypeImpl<Array<T>> {
    readonly elementType: TypedKind<T>;
    constructor(t: Type<T>);
    check(val: any): Result<Array<T>>;
    sliceResult(val: any): Result<Array<T>>;
    protected merge<R>(type: TypedKind<R>): TypedKind<Array<T> & R> | undefined;
    protected project(val: any): Projection<Array<T>>;
}
export declare function array<T>(t: Type<T>): Arr<T>;