Did you know ... | Search Documentation: |
Predicate lazy_list_location/3 |
Location | - is a term file(Name, Line, LinePos, CharNo) or
stream(Stream, Line, LinePos, CharNo) if no file is
associated to the stream RestLazyList. Finally, if the
Lazy list is fully materialized (ends in [] ), Location
is unified with end_of_file-CharCount . |