import type { IsCompatible, IsEqual, IsIdentical, IsNonStrictEqual, IsRelated } from '../../../type/index.js';
interface Is<A, T = true, F = false> {
    <B>(_?: B): A extends B ? T : F;
    bigint: IsIdentical<A, bigint, T, F>;
    boolean: IsIdentical<A, boolean, T, F>;
    compatibleWith<B>(_?: B): IsCompatible<A, B, T, F>;
    equalTo<B>(_?: B): IsEqual<A, B, T, F>;
    false: IsIdentical<A, false, T, F>;
    identicalTo<B>(_?: B): IsIdentical<A, B, T, F>;
    nonStrictEqualTo<B>(_?: B): IsNonStrictEqual<A, B, T, F>;
    not: Is<A, F, T>;
    number: IsIdentical<A, number, T, F>;
    object: IsIdentical<A, object, T, F>;
    relatedTo<B>(_?: B): IsRelated<A, B, T, F>;
    strictSubtypeOf<B>(_?: B): A extends B ? (B extends A ? F : T) : F;
    string: IsIdentical<A, number, T, F>;
    subtypeOf<B>(_?: B): A extends B ? T : F;
    symbol: IsIdentical<A, symbol, T, F>;
    true: IsIdentical<A, true, T, F>;
}
/** @strip */
export declare function $Is<T>(_?: T): Is<T>;
/** @internal */
declare function _Assert<_A extends true = true, _B extends true = true, _C extends true = true, _D extends true = true, _E extends true = true, _F extends true = true, _G extends true = true, _H extends true = true, _I extends true = true, _J extends true = true, _K extends true = true, _L extends true = true, _M extends true = true, _N extends true = true, _O extends true = true, _P extends true = true, _Q extends true = true>(..._expects: true[]): void;
/** @internal */
declare const _AssertInterface: {
    /**
     * IsSubtype
     *
     * @example
     *
     * ```ts
     * Assert.is<123, number>()
     * ```
     */
    is: <_A extends B, B>() => void;
    isSubtype: <_A extends B, B>() => void;
    isSupertype: <A, _B extends A>() => void;
};
/** @strip Use `@voltiso/transform/strip` to strip from production code */
export declare const $Assert: typeof _AssertInterface & typeof _Assert;
export {};
//# sourceMappingURL=$Assert.d.ts.map