Function biodivine_sketchbook::algorithms::fo_logic::parser::is_unary
source ยท fn is_unary(token: &FolToken) -> bool
Expand description
Predicate for whether given token represents unary operator.
fn is_unary(token: &FolToken) -> bool
Predicate for whether given token represents unary operator.