def U16.some

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

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

import Base

907def U16.some(m: Maybe<&2, U32>) -> Maybe<&2, U16>:
908  match m:
909    case None{}:
910      None{}
911    case Some{x}:
912      Some{U16{x}}

Uses (3)

Used by (6)