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 893–901

linuxNativeInvocationIdentity

Full file
893def linuxNativeInvocationIdentity =
894  (lambda unrestricted invocation : (family LinuxNativeSyscallInvocation) .
895    (eliminate
896      LinuxNativeSyscallInvocation
897      (lambda unrestricted current : (family LinuxNativeSyscallInvocation) .
898        (family LinuxSyscallRequestIdentity))
899      invocation
900      (branch LinuxNativeBaseInvocation identity request . identity)
901      (branch LinuxNativeExtendedInvocation identity request . identity)))

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.