775def linuxOpenAtProfileRequest =
776 (lambda unrestricted path : Bytes .
777 (lambda unrestricted profile : (family LinuxOpenProfile) .
778 (constructor
779 LinuxSyscallRequest
780 LinuxOpenAt
781 linuxAtFdcwd
782 path
783 (linuxOpenProfileFlags profile)
784 (linuxOpenProfileMode profile))))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.