import { type Refute, type Primitive, type Lifted } from './prelude.js';
/** Refutes an object whose declared properties validate; other properties are ignored. */
declare const object_: <T extends Record<string, Primitive | Refute<unknown>>>(kvs: T) => Refute<{ [k in keyof T]: Lifted<T[k]>; }>;
export default object_;