import { SourcePosition } from "@re-do/node";
import { WithDefaults } from "@re-do/utils";
import { TypeAssertions } from "./type";
import { ValueAssertion } from "./value";
export declare type AssertionResult<T, Opts extends AssertionOptions = {}, Config extends AssertionConfig = WithDefaults<AssertionOptions, Opts, {
    allowTypeAssertions: true;
    returnsCount: 0;
}>> = ValueAssertion<T, Config> & (Config["allowTypeAssertions"] extends true ? TypeAssertions : {});
export declare type Assertion = <T>(value: T) => AssertionResult<T>;
export declare type AssertionContext = <T, ProvidedOptions extends AssertionOptions>(position: SourcePosition, value: T, opts?: ProvidedOptions) => AssertionResult<T, ProvidedOptions>;
export declare type AssertionOptions = {
    allowTypeAssertions?: boolean;
    returnsCount?: number;
};
export declare type AssertionConfig = Required<AssertionOptions>;
export declare const assertionContext: AssertionContext;
export declare const assert: Assertion;