import type { Formula } from '../types/formula';
/**
 * Result of parsing a sequent
 */
export interface Sequent {
    premises: Formula[];
    conclusion: Formula;
}
/**
 * Parse a sequent string into premises and conclusion
 * @param input Sequent string in the format "P1, P2, ..., Pn ⊨ C" or "⊨ C" for empty premises
 * @returns Parsed premises and conclusion
 * @throws ParseError if the input is invalid
 */
export declare function parseSequent(input: string): Sequent;
//# sourceMappingURL=sequent.d.ts.map