import type { TCoreArgument } from "../../schemata/index.js";
/**
 * The plain-text rendering `ArgumentEngine.toDisplayString` returns: a
 * header, then one line per premise labelled by its role. The premise list
 * is read through `listPremises`, after the supporting set, in the order the
 * method always read them.
 */
export declare function renderArgumentDisplay(arg: TCoreArgument, supportingPremises: readonly {
    getId(): string;
}[], listPremises: () => readonly {
    getId(): string;
    toDisplayString(): string;
}[], conclusionPremiseId: string | undefined): string;
//# sourceMappingURL=display.d.ts.map