def CapSet.from_list

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

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

import Base

339def CapSet.from_list(xs: List<&2, U32>) -> CapSet():
340  match xs:
341    case Nil{}:
342      CapSet.empty()
343    case Con{h, t}:
344      CapSet.add(CapSet.from_list(t), h)

Uses (5)

Used by (5)