import { ExampleSetup } from "./Example.js";
import { Reporter } from "./reporter/index.js";
import { Behavior, ConfigurableBehavior, ConfigurableExample } from "./Behavior.js";
import { Observation } from "./Observation.js";
import { Presupposition } from "./Presupposition.js";
import { Summary } from "./Summary.js";
import { Action } from "./Action.js";
import { OrderProvider } from "./OrderProvider.js";
import { Context } from "./Context.js";
export { Effect, Outcome } from "./Observation.js";
export type { Observation } from "./Observation.js";
export { Fact, Situation } from "./Presupposition.js";
export type { Presupposition } from "./Presupposition.js";
export { Procedure, Step } from "./Action.js";
export type { Action } from "./Action.js";
export type { Claim, ClaimResult, ValidClaim, InvalidClaim, SkippedClaim } from "./Claim.js";
export type { OrderProvider } from "./OrderProvider.js";
export { ExampleOptions, BehaviorOptions, ValidationMode } from "./Behavior.js";
export type { Behavior, ConfigurableBehavior, ConfigurableExample } from "./Behavior.js";
export type { Summary } from "./Summary.js";
export type { Reporter, Writer, Failure } from "./reporter/index.js";
export { StandardReporter } from "./reporter/StandardReporter.js";
export type { StandardReporterOptions } from "./reporter/StandardReporter.js";
export { ANSIFormatter } from "./reporter/formatter.js";
export type { Formatter } from "./reporter/formatter.js";
export { TAPReporter } from "./reporter/TAPReporter.js";
export type { Example, ExampleValidationOptions, ExampleSetup, ExampleScript, ExampleScripts } from "./Example.js";
export type { Context, ContextMap, ContextValues, ExtractContextTypes } from "./Context.js";
export { contextMap, use, behaviorContext } from "./Context.js";
export type { Script } from "./Script.js";
export type { BehaviorValidationOptions } from "./behaviorRunner/index.js";
export { ValidationStatus, runBehavior } from "./behaviorRunner/run.js";
export interface ValidationOptions {
    reporter?: Reporter;
    order?: OrderProvider;
    failFast?: boolean;
}
export declare function validate(behaviors: Array<ConfigurableBehavior>, options?: ValidationOptions): Promise<Summary>;
export declare function defaultOrder(): OrderProvider;
export declare function randomOrder(seed?: string): OrderProvider;
export declare function behavior(description: string, examples: Array<ConfigurableExample>): Behavior;
export declare function example<T = void>(context?: Context<T>): ExampleSetup<T>;
export declare function fact<T>(description: string, validate: (context: T) => void | Promise<void>): Presupposition<T>;
export declare function situation<T>(descripion: string, presuppositions: Array<Presupposition<T>>): Presupposition<T>;
export declare function step<T>(description: string, validate: (context: T) => void | Promise<void>): Action<T>;
export declare function procedure<T>(descripion: string, steps: Array<Action<T>>): Action<T>;
export declare function effect<T>(description: string, validate: (context: T) => void | Promise<void>): Observation<T>;
export declare function outcome<T>(description: string, effects: Array<Observation<T>>): Observation<T>;