Function biodivine_sketchbook::algorithms::fo_logic::tokenizer::is_false_const

source · 
fn is_false_const(name: &str) -> bool
Expand description

Predicate to decide if a given “name” represents false constant.