import type { Cause } from "../Cause/index.js";
import type { Renderer } from "../Cause/Pretty/index.js";
import type { Supervisor } from "../Supervisor/index.js";
export declare class Platform<X> {
    value: {
        executionTraceLength: number;
        stackTraceLength: number;
        traceExecution: boolean;
        traceStack: boolean;
        traceEffects: boolean;
        initialTracingStatus: boolean;
        ancestorExecutionTraceLength: number;
        ancestorStackTraceLength: number;
        ancestryLength: number;
        renderer: Renderer;
        reportFailure: (e: Cause<unknown>) => void;
        maxOp: number;
        supervisor: Supervisor<X>;
    };
    constructor(value: {
        executionTraceLength: number;
        stackTraceLength: number;
        traceExecution: boolean;
        traceStack: boolean;
        traceEffects: boolean;
        initialTracingStatus: boolean;
        ancestorExecutionTraceLength: number;
        ancestorStackTraceLength: number;
        ancestryLength: number;
        renderer: Renderer;
        reportFailure: (e: Cause<unknown>) => void;
        maxOp: number;
        supervisor: Supervisor<X>;
    });
}
//# sourceMappingURL=platform.d.ts.map