law execve_result

bend-osdev-caps@0.1.0.0 · LAWS.bend:26

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

26law execve_result:
27  for +k: C.CapsKernel
28  for +c: C.CapCred
29  for +f: C.CapFile
30  for +ign: Bool
31  {C.Caps.sets_or(E.Caps.execve(k, c, f, ign), E.Caps.execve.sets(k, c, f, ign)) == E.Caps.execve.sets(k, c, f, ign) : C.CapState}