Function biodivine_sketchbook::algorithms::fo_logic::parser::parse_6_and

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

Recursive parsing step 6: extract & operators.