Function biodivine_sketchbook::algorithms::fo_logic::parser::parse_2_iff

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

Recursive parsing step 2: extract <=> operators.