final case classClose(h: ReadHandle) extends ReadFile[slamdata.Predef.Unit] with Product with Serializable
final case classOpen(file: AFile, offset: Natural, limit: slamdata.Predef.Option[Positive]) extends ReadFile[\/[FileSystemError, ReadHandle]] with Product with Serializable