def AaXPick.choose

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

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

210def AaXPick.choose(lit: AaXPick, pat: AaXPick) -> AaXPick:
211  match lit:
212    case AaXNone{}:
213      pat
214    case AaXOne{x}:
215      AaXOne{x}
216    case AaXClash{}:
217      AaXClash{}

Uses (1)

Used by (1)