import { ArgumentEngine } from "../lib/core/argument-engine.js";
import { ClaimLibrary } from "../lib/core/claim-library.js";
import { ClaimCitationLibrary } from "../lib/core/claim-citation-library.js";
/**
 * Parses a YAML string representing a logical argument and returns a
 * fully hydrated ArgumentEngine.
 *
 * Variables are implicitly declared by their usage in formula strings.
 * Premises without an explicit `role` default to `"supporting"`.
 * At most one premise may have `role: "conclusion"`.
 *
 * @throws On YAML parse errors, schema validation failures, formula
 *   parse errors, nested implies/iff operators, or multiple conclusions.
 */
export declare function importArgumentFromYaml(yamlString: string): {
    engine: ArgumentEngine;
    claimLibrary: ClaimLibrary;
    claimCitationLibrary: ClaimCitationLibrary;
};
//# sourceMappingURL=import.d.ts.map