4ster-light

type Token =
    | LParen // Left parenthesis '('
    | RParen // Right parenthesis ')'
    | NotOp // NOT operator '!'
    | AndOp // AND operator '&'
    | OrOp // OR operator '|'
    | ImpliesOp // Implication operator '->'
    | BiconditionalOp // Biconditional operator '<->'
    | Variable of string // A logical variable (e.g., "P", "Q")
    | Eof // End of file/input marker