import * as fc from "fast-check";
import { InvariantCampaign } from "../campaign/campaign-types.js";
import { ResolvedDeclarativeTarget } from "../targets/target.js";
import { DeclarativeAction, DeclarativeActionGenerationOptions } from "./daml-action-arbitrary.js";
import { DamlTestingCatalog } from "./daml-testing-catalog.js";
/**
 * Produces exact-depth declarative action sequences for a campaign. Every
 * resolved target must be declared by the campaign and every generated actor
 * must be eligible for that target before execution starts.
 */
export declare function createDeclarativeCampaignArbitrary(init: {
    readonly campaign: InvariantCampaign;
    readonly catalog: DamlTestingCatalog;
    readonly targets: readonly ResolvedDeclarativeTarget[];
} & DeclarativeActionGenerationOptions): fc.Arbitrary<readonly DeclarativeAction[]>;