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 872–891

linuxIdentityEqual

Full file
872def linuxIdentityEqual =
873  (lambda unrestricted left : (family LinuxSyscallRequestIdentity) .
874    (lambda unrestricted right : (family LinuxSyscallRequestIdentity) .
875      (eliminate
876        LinuxSyscallRequestIdentity
877        (lambda unrestricted current : (family LinuxSyscallRequestIdentity) . Nat)
878        left
879        (branch
880          LinuxSyscallRequestIdentityValue
881          leftNatural
882          .
883          (eliminate
884            LinuxSyscallRequestIdentity
885            (lambda unrestricted current : (family LinuxSyscallRequestIdentity) . Nat)
886            right
887            (branch
888              LinuxSyscallRequestIdentityValue
889              rightNatural
890              .
891              (naturalEqual leftNatural rightNatural)))))))

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.