~/jendhub

def set.sub_zero

bend-osdev-caps@0.1.0.0 · PROOF.bend:637

import bend-osdev-caps@0.1.0.0/PROOF.bend as PROOF
import Base
import bend-osdev-caps@0.1.0.0/caps.bend as C

637def set.sub_zero(+x: C.CapSet()) -> {C.CapSet.subset(C.CapSet.empty(), x) == True{} : Bool}:
638  match x:
639    case C.CapSetW{U32{+xl}, +xh}:
640      set.sub_intro(Word.zero(32n), xl, Word.zero(9n), xh)(bits.sub_zero(32n, xl))(bits.sub_zero(9n, xh))

Uses (9)

Used by (1)