import type { PropFormula } from "../../../models";
/**
 * Generates a formula based on the Implication Introduction axiom schema.
 *
 * Given two formulas A and B, this function returns the formula:
 * (A => (B => A)).
 *
 * @param formulas - An array of propositional formulas.
 * @returns A new formula representing (A => (B => A)).
 */
export declare function implicationIntroductionSchema(formulas: PropFormula[]): PropFormula;