Returns true if a character is an acceptable (non numeric) identifier char An identifier is either a non numeric identifier char, followed by any number of identifier chars, or is a '/' and nothing else. A separate function will be used to detect if an identifier is possibly just '/' A character is an identifier char if it is alphabetic or if it is one of: - `|`, - `?`, - `<`, - `>`, - `+`, -
(ch: char)
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected