import { Result } from "../result";
import { TypedKind } from "../kind";
import { Projection, Type, TypeImpl } from "../type";
export declare class MapType<K, V> extends TypeImpl<Map<K, V>> {
    readonly keyType: TypedKind<K>;
    readonly valueType: TypedKind<V>;
    constructor(k: Type<K>, v: Type<V>);
    check(val: any): Result<Map<K, V>>;
    sliceResult(val: any): Result<Map<K, V>>;
    protected merge<R>(type: TypedKind<R>): TypedKind<Map<K, V> & R> | undefined;
    protected project(val: any): Projection<Map<K, V>>;
}
export declare function map<K, V>(k: Type<K>, v: Type<V>): MapType<K, V>;