module system/posix-xsi/pipe-abstractions imports system/posix/pipe-abstractions strategies copy-pipe-to-file : (Pipe(fd1, fd2), name) -> name where <open>(name, "w") => fdout ; <fdcopy> (fd1, fdout)