import type { PropExpression, PropFormula } from "../../models";
/**
 * Converts a propositional formula into its corresponding expression representation.
 *
 * @param {PropFormula} formula - The propositional formula to convert.
 * @returns {PropExpression} The expression representation of the formula.
 * @category Converters
 */
export declare function convertPropFormulaToExpression(formula: PropFormula): PropExpression;