Function biodivine_sketchbook::algorithms::fo_logic::tokenizer::collect_name

fn collect_name(input_chars: &mut Peekable<Chars<'_>>) -> Result<String, String>

Retrieve the name (of a proposition or variable) from the input. The first character of the name may or may not be already consumed by the caller.