~/jendhub

def AaXPick.of

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

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

203def AaXPick.of(xs: List<&2, AaXSel>) -> AaXPick:
204  match xs:
205    case Nil{}:
206      AaXNone{}
207    case Con{+x, t}:
208      Bool.pick(AaXPick, AaXSel.all_eq(t, x), AaXOne{x}, AaXClash{})

Uses (5)

Used by (1)