Function biodivine_sketchbook::algorithms::fo_logic::parser::parse_1_quantifiers

fn parse_1_quantifiers(tokens: &[FolToken]) -> Result<FolTreeNode, String>

Recursive parsing step 1: extract quantifier operators.

Quantifier must not be immediately preceded by any other kind of operator. We only allow it to be preceded by another quantifier, otherwise parentheses must be used. (things like “!V x: …” are forbidden, must be written in parentheses as “!(V x: …)”