def AaEval.choose

bend-osdev-apparmor@0.1.0.0 · eval.bend:154

import bend-osdev-apparmor@0.1.0.0/eval.bend as Eval

import Base

154def AaEval.choose(c: Bool, a: AaDecision, b: AaDecision) -> AaDecision:
155  match c:
156    case True{}:
157      a
158    case False{}:
159      b

Uses (2)

Used by (8)