def set.sub_refl

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

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

632def set.sub_refl(+x: C.CapSet()) -> {C.CapSet.subset(x, x) == True{} : Bool}:
633  match x:
634    case C.CapSetW{U32{+xl}, +xh}:
635      set.sub_intro(xl, xl, xh, xh)(bits.sub_refl(32n, xl))(bits.sub_refl(9n, xh))

Uses (7)

Used by (6)