Function biodivine_sketchbook::algorithms::fo_logic::parser::parse_8_terms_and_parentheses

source ยท 
fn parse_8_terms_and_parentheses(
    tokens: &[FolToken],
) -> Result<FolTreeNode, String>
Expand description

Recursive parsing step 8: extract terms and recursively solve sub-formulae in parentheses and in functions.