~/jendhub

def AaAttach.better

bend-osdev-apparmor@0.1.0.0 · transitions.bend:106

import bend-osdev-apparmor@0.1.0.0/transitions.bend as Transitions
import Base

106# the better of the best so far and a candidate of rank r
107def AaAttach.better(+best: AaAttach, +r: U32, name: List<&2, U32>) -> AaAttach:
108  +b = AaAttach.rank(best)
109  Bool.pick(AaAttach, U32.is_eq(r, 0), best, Bool.pick(AaAttach, U32.is_gt(r, b), AaAttachOne{name, r}, Bool.pick(AaAttach, U32.is_eq(r, b), AaAttachTie{r}, best)))

Uses (7)

Used by (1)