archive_foldl(:Goal,
+Archive, +State0, -State)| Archive | File name or stream to be given to archive_open/[3,4]. |
- See also
- archive_header_property/2, archive_open/4.
archive_foldl(:Goal,
+Archive, +State0, -State)| Archive | File name or stream to be given to archive_open/[3,4]. |