Write_to_

Link could refer to the following module-defined implementations:
  1. /avail/Avail/Data Abstractions/Iterators/Abstract Iterators
  2. /avail/Avail/IO/Common