tfl-js/dist/types/parser/sequent.d.ts

A TypeScript library for parsing and evaluating propositional logic formulas

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