def I32.some

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

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

import Base

1250def I32.some(m: Maybe<&2, U32>) -> Maybe<&2, I32>:
1251  match m:
1252    case None{}:
1253      None{}
1254    case Some{x}:
1255      Some{I32{x}}

Uses (3)

Used by (6)