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