def AaGRange.has

bend-osdev-apparmor@0.1.0.0 · glob.bend:46

import Base

46def AaGRange.has(r: AaGRange, +c: U32) -> Bool:
47  match r:
48    case AaGRange{lo, hi}:
49      Bool.and(U32.is_le(lo, c), U32.is_le(c, hi))