def U8.some

bend-kit-int@0.2.0.0 · int.bend:738

import bend-kit-int@0.2.0.0/int.bend as Int

import Base

738def U8.some(m: Maybe<&2, U32>) -> Maybe<&2, U8>:
739  match m:
740    case None{}:
741      None{}
742    case Some{x}:
743      Some{U8{x}}

Uses (3)

Used by (6)