import { type Refute, type Primitive, type Lifted } from './prelude.js';
/** A primitive becomes an equality refute (a RegExp a match, `null` the null refute); refutes pass through. */
declare const lift: <T extends Primitive | Refute<unknown>>(a: T) => Refute<Lifted<T>>;
export default lift;