import { ValueTypeOf } from '@elaraai/east';
import { LeverType } from '@elaraai/e3-ui/internal';
import { ConstraintValue } from './handle-runtime.js';
import { TypeNode } from './lever-editor.js';
type LeverValue = ValueTypeOf<typeof LeverType>;
/** Words for the well-known bounded-op case names. */
export declare const OP_WORDS: Record<string, string>;
/**
 * The lever's display words plus the formatted payload. Dispatch is
 * type-directed: `payloadType` is the contract case's payload type (walked
 * off the judgements binding, same as the lever editor) — the value's shape
 * is never guessed.
 */
export declare function formatConstraint(constraint: ConstraintValue, payloadType: TypeNode | undefined, levers?: readonly LeverValue[]): {
    lever: string;
    op: string;
    value: string;
};
export {};
//# sourceMappingURL=constraint-format.d.ts.map