~/jendhub

def Cap.name.go

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

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

155def Cap.name.go(v: Bool, k: U32) -> Maybe<&2, String>:
156  match v:
157    case False{}:
158      None{}
159    case True{}:
160      List.get(&2, String, Cap.names(), U32.to_nat(k))

Uses (7)

Used by (1)