import type { Assert, Asserted, Primitive, OptionalIfUndefined } from './prelude.js';
declare const exact: <T extends Record<string, Primitive | Assert<unknown>>>(kvs: T) => Assert<OptionalIfUndefined<{ [k in keyof T]: T[k] extends Primitive ? T[k] : Asserted<T[k]>; }>>;
export default exact;