Function biodivine_sketchbook::algorithms::fo_logic::parser::index_of_first_quantifier

source ยท 
fn index_of_first_quantifier(tokens: &[FolToken]) -> Option<usize>
Expand description

Utility method to find the first occurrence of a quantifier operator in the token tree.