Source position: http_log.inc line 630
type piped_log = record
p: Papr_pool_t;
read_fd: Papr_file_t;
write_fd: Papr_file_t;
end;