def CapBits.sub.bit

bend-osdev-caps@0.1.0.0 · caps.bend:194

import Base

194# one bit of a subset test: a bit in a must be in b; r is the rest
195def CapBits.sub.bit(a: Bool, b: Bool, r: Bool) -> Bool:
196  match a:
197    case False{}:
198      r
199    case True{}:
200      match b:
201        case False{}:
202          False{}
203        case True{}:
204          r