- lazy_list_character_count(-CharCount)//
- 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.