146family LinuxExtendedSyscallRequest : Type 0
147constructor LinuxFstatRequest
148field unrestricted linuxFstatDescriptor : (family LinuxFileDescriptor)
149constructor LinuxClockGettimeRequest
150field unrestricted linuxClockGettimeClock : (family LinuxClockIdentifier)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.