import { Bytes, Property } from '@cryptoeconomicslab/primitives';
import { Decider } from '../../interfaces/Decider';
import { DeciderManager } from '../../DeciderManager';
export declare class ThereExistsSuchThatDecider implements Decider {
    decide(manager: DeciderManager, inputs: Bytes[], substitutions?: {
        [key: string]: Bytes;
    }): Promise<{
        outcome: boolean;
        witnesses: Bytes[];
        challenge: null;
        traceInfo?: undefined;
    } | {
        outcome: boolean;
        witnesses: never[];
        challenge: {
            challengeInputs: never[];
            property: Property;
        };
        traceInfo: import("../../Tracer").ThereExistsSuchThatTraceInfo | undefined;
    }>;
}