Function biodivine_sketchbook::algorithms::fo_logic::parser::index_of_first_unary

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

Utility method to find the first occurrence of an unary operator in the token tree.