Function biodivine_sketchbook::algorithms::fo_logic::parser::parse_3_imp

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

Recursive parsing step 3: extract => operators.