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