import Compound from './compound';
import Nillable from './nillable';
import Nullable from './nullable';
import Optional from './optional';
import type { RecordState, FunctionMaybe, Schema, Traverser } from '../types';
declare class Rec<K extends string, V extends unknown> extends Compound<Record<string, unknown>, Record<K, V>, RecordState<Record<string, unknown>, Record<K, V>, V>> {
    filter(value: unknown, defaultable: false, quiet: true): boolean;
    filter(value: unknown, defaultable?: boolean, quiet?: false): Record<K, V>;
    filter(value: unknown, defaultable?: boolean, quiet?: boolean): Record<K, V> | boolean;
    test(value: unknown): value is Record<K, V>;
    traverse(traverser: Traverser, parent?: Schema, key?: string | number): void;
    anyOf(values: Record<K, V>[]): Rec<K, V>;
    noneOf(values: Record<K, V>[]): Rec<K, V>;
    nillable(): Nillable<Record<K, V>>;
    nullable(): Nullable<Record<K, V>>;
    optional(): Optional<Record<K, V>>;
    keys<T extends K>(keys: FunctionMaybe<Schema<T>>): Rec<K & T, V>;
    values<T extends V>(values: FunctionMaybe<Schema<T>>): Rec<K, V & T>;
}
export default Rec;