~/jendhub

def Cap.of_name.hit

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

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

166def Cap.of_name.hit(hit: Bool, k: U32, rest: Maybe<&2, U32>) -> Maybe<&2, U32>:
167  match hit:
168    case True{}:
169      Some{k}
170    case False{}:
171      rest

Uses (3)

Used by (1)