AlphaGitHub
Source/Packages

Runtime.LinuxSyscall

packages/execution/src/Runtime/LinuxSyscall.alpha

1,665 lines304 declarations54.1 KiBSHA-256 9709d26c0165
Download exact fileView at revisionf5034773ad4bb52133

def · lines 923–931

linuxReceiptAudit

Full file
923def linuxReceiptAudit =
924  (lambda unrestricted invocation : (family LinuxNativeSyscallInvocation) .
925    (lambda unrestricted receipt : (family LinuxNativeSyscallReceipt) .
926      (constructor
927        LinuxSyscallReceiptAudit
928        LinuxSyscallReceiptAuditValue
929        (linuxNativeInvocationIdentity invocation)
930        (linuxNativeReceiptIdentity receipt)
931        (linuxNativeReceiptTelemetry receipt))))

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.