import type { Diagnostic, Interview, Question } from "@siteimprove/alfa-act";
import type { Maybe } from "@siteimprove/alfa-option";
import type { Result } from "@siteimprove/alfa-result";
import { Thunk } from "@siteimprove/alfa-thunk";
import type { Trilean } from "@siteimprove/alfa-trilean";
type Expectation<Q extends Question.Metadata, S, C, D extends number = Interview.MaxDepth> = Interview<Q, S, C, Maybe<Result<Diagnostic>>, D>;
export declare function expectation(test: Trilean, ifTrue: Thunk<Maybe<Result<Diagnostic>>>, ifFalse: Thunk<Maybe<Result<Diagnostic>>>, ifUnknown?: Thunk<Maybe<Result<Diagnostic>>>): Maybe<Result<Diagnostic>>;
export declare function expectation<Q extends Question.Metadata, S, C, D extends number>(test: Trilean, ifTrue: Thunk<Expectation<Q, S, C, D>>, ifFalse: Thunk<Expectation<Q, S, C, D>>, ifUnknown?: Thunk<Expectation<Q, S, C, D>>): Expectation<Q, S, C, D>;
export {};
//# sourceMappingURL=expectation.d.ts.map