import { Claim, ClaimResult, ComplexClaim, SimpleClaim } from "./Claim.js";
export type Action<T> = Procedure<T> | Step<T>;
export declare class Step<T> extends SimpleClaim<T> {
}
export declare class Procedure<T> extends ComplexClaim<T> {
    private shouldValidate;
    evaluateSubsumedClaim(claim: Claim<T>, context: T): Promise<ClaimResult>;
}