Exec.CapExec.file_caps: def of bend-osdev-caps@0.1.0.0
Import: import bend-osdev-caps@0.1.0.0/exec.bend as Exec
Lines 126-131 of bend-osdev-caps@0.1.0.0/exec.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-caps@0.1.0.0/exec.bend&start_line=126&end_line=131

import Base
import bend-osdev-caps@0.1.0.0/caps.bend as C

# the file's capabilities as execve sees them: none if ign, or if the kernel
# has file capabilities off
def CapExec.file_caps(k: C.CapsKernel, f: C.CapFile, ign: Bool) -> Maybe<&2, C.CapFileSets>:
  match f:
    case C.CapFile{u, su, sg, fc}:
      CapExec.fcaps(Bool.or(ign, Bool.not(C.CapsKernel.file_caps(k))), fc)

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-caps@0.1.0.0/caps.bend&name=CapFile
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-caps@0.1.0.0/caps.bend&name=CapFileSets
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-caps@0.1.0.0/caps.bend&name=CapsKernel
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-caps@0.1.0.0/caps.bend&name=CapsKernel.file_caps
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-caps@0.1.0.0/exec.bend&name=CapExec.fcaps