~/jendhub

def CapSet.is_eq

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

import bend-osdev-caps@0.1.0.0/caps.bend as Caps
import Base

295def CapSet.is_eq(a: CapSet(), b: CapSet()) -> Bool:
296  match a b:
297    case CapSetW{al, ah} CapSetW{bl, bh}:
298      Bool.and(U32.is_eq(al, bl), Cmp.is_eq(Word.cmp(9n, ah, bh)))

Uses (7)

Used by (0)

No other definition uses this definition.