pure_input:lazy_list_character

True when CharCount is the current character count in the Lazy list. The character count is computed by finding the distance to the next frozen tail of the lazy list. CharCount is one of:

An integer
A term end_of_file-Count

See also: - lazy_list_location//1 provides full details of the location for error reporting.