export type TFormulaAST = {
    type: "variable";
    name: string;
} | {
    type: "not";
    operand: TFormulaAST;
} | {
    type: "and";
    operands: TFormulaAST[];
} | {
    type: "or";
    operands: TFormulaAST[];
} | {
    type: "xor";
    operands: TFormulaAST[];
} | {
    type: "implies";
    left: TFormulaAST;
    right: TFormulaAST;
} | {
    type: "iff";
    left: TFormulaAST;
    right: TFormulaAST;
};
/** Parses a propositional logic formula string into an AST. Uses the PEG grammar defined in `formula.peggy`. */
export declare function parseFormula(input: string): TFormulaAST;
//# sourceMappingURL=formula.d.ts.map