Function biodivine_sketchbook::algorithms::fo_logic::parser::is_quantifier

source ยท 
fn is_quantifier(token: &FolToken) -> bool
Expand description

Predicate for whether given token represents a quantifier.