import type { PropFormula, PropFormulaVariablesMap } from "../../models";
/**
 * Extracts all propositional variables from a given formula and returns them in a sorted map.
 *
 * @param formula - The propositional formula.
 * @returns A map of variables, sorted alphabetically.
 * @category Converters
 */
export declare function extractPropVariables(formula: PropFormula): PropFormulaVariablesMap;