Function biodivine_sketchbook::algorithms::fo_logic::parser::parse_7_unary

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

Recursive parsing step 7: extract unary operators (just a negation currently).