Function biodivine_sketchbook::algorithms::fo_logic::tokenizer::is_true_const

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

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