/**
 * @deprecated Deprecated in favour of {@link @marlowe.io/runtime-lifecycle!api.ApplicableActionsAPI}
 * @packageDocumentation
 */
import * as t from "io-ts/lib/index.js";
export * as Deposit from "./applicables/canDeposit.js";
export * as Choice from "./applicables/canChoose.js";
export * as Notify from "./applicables/canNotify.js";
/**
 * Provides reducibility and input applicability information for a contract
 * @deprecated Deprecated in favour of {@link @marlowe.io/runtime-lifecycle!api.ApplicableActionsAPI}
 */
export type Next = t.TypeOf<typeof Next>;
/**
 * @deprecated Deprecated in favour of {@link @marlowe.io/runtime-lifecycle!api.ApplicableActionsAPI}
 */
export declare const Next: t.TypeC<{
    can_reduce: t.BooleanC;
    applicable_inputs: t.TypeC<{
        notify: import("io-ts-types").OptionFromNullableC<t.TypeC<{
            case_index: t.BigIntC;
            is_merkleized_continuation: t.BooleanC;
        }>>;
        deposits: t.ArrayC<t.TypeC<{
            case_index: t.BigIntC;
            party: t.UnionC<[t.Type<import("../participants.js").Address, import("../participants.js").Address, unknown>, t.Type<import("../participants.js").Role, import("../participants.js").Role, unknown>]>;
            can_deposit: t.BigIntC;
            of_token: t.Type<import("../token.js").Token, import("../token.js").Token, unknown>;
            into_account: t.UnionC<[t.Type<import("../participants.js").Address, import("../participants.js").Address, unknown>, t.Type<import("../participants.js").Role, import("../participants.js").Role, unknown>]>;
            is_merkleized_continuation: t.BooleanC;
        }>>;
        choices: t.ArrayC<t.TypeC<{
            case_index: t.BigIntC;
            for_choice: t.Type<import("../choices.js").ChoiceId, import("../choices.js").ChoiceId, unknown>;
            can_choose_between: t.ArrayC<t.Type<import("../choices.js").Bound, import("../choices.js").Bound, unknown>>;
            is_merkleized_continuation: t.BooleanC;
        }>>;
    }>;
}>;
/**
 * empty Applicables indicates if the contract is in a state where no inputs can be applied.
 * @deprecated Deprecated in favour of {@link @marlowe.io/runtime-lifecycle!api.ApplicableActionsAPI}
 */
export declare const emptyApplicables: (next: Next) => boolean;
/**
 * noNext is a state where no apply or reduce on a contract
 * @deprecated Deprecated in favour of {@link @marlowe.io/runtime-lifecycle!api.ApplicableActionsAPI}
 */
export declare const noNext: Next;
//# sourceMappingURL=index.d.ts.map