Function biodivine_sketchbook::algorithms::fo_logic::tokenizer::resolve_term_name

fn resolve_term_name(name: &str) -> Atom

Decide whether the name corresponds to a constant or a variable, and return the correct term token.