89family LinuxSyscallResponse : Type 0
90constructor LinuxOpenSucceeded
91field unrestricted linuxOpenedDescriptor : (family LinuxFileDescriptor)
92constructor LinuxReadSucceeded
93field unrestricted linuxReadBytes : Bytes
94constructor LinuxSeekSucceeded
95field unrestricted linuxSeekPosition : (family ModelWord64)
96constructor LinuxWriteSucceeded
97field unrestricted linuxWrittenBytes : (family ModelWord64)
98constructor LinuxIoctlSucceeded
99field unrestricted linuxIoctlOutput : Bytes
100constructor LinuxMmapSucceeded
101field unrestricted linuxMappedAddress : (family ModelWord64)
102constructor LinuxUnitSucceeded
103constructor LinuxSyscallFailed
104field unrestricted linuxSyscallError : (family LinuxSyscallErrorCode)
105field unrestricted linuxSyscallErrno : (family ModelWord32)The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.