import { nat } from "./primitives.js";
import { Equality, Order } from "./things.js";
/**
 * `up` is how far up we look the stack trace; 0 is sourcePosition itself.
 */
export declare function sourcePosition(up?: nat): string | undefined;
export type Test = () => void;
export declare class AssertionFailed {
    message: string | undefined;
    constructor(message?: string);
    toString(): string;
}
export declare function enableTests(): void;
export declare function disableTests(): void;
export declare function Test(test: Test, descr?: string): void;
export declare function MissTest(test: Test, descr?: string): void;
export declare function assertT(condition: any): asserts condition is true;
export declare function assertFalseT(condition: boolean): asserts condition is false;
export declare function assertCrashT(run: () => any): void;
export declare function assertNeverT(value: never): never;
export declare function assertIsDefinedT<T>(value: T): asserts value is NonNullable<T>;
export declare function assertIsUndefinedT(value: any): asserts value is undefined | null;
export declare function assertEqT<E>(...values: E[]): void;
export declare function assertEQT<E>(eq: Equality<E>, ...values: E[]): void;
export declare function assertLESST<E>(order: Order<E>, ...values: E[]): void;
export declare function assertLEQT<E>(order: Order<E>, ...values: E[]): void;
export declare function assertUNRELATEDT<E>(order: Order<E>, ...values: E[]): void;
export declare function runTests(): void;