import { type Refute, type Primitive, type Lifted } from './prelude.js';
/** Like `object` (own properties only), and no other own key may be present. */
declare const exact: <T extends Record<string, Primitive | Refute<unknown>>>(kvs: T) => Refute<{ [k in keyof T]: Lifted<T[k]>; }>;
export default exact;