def I64.some

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

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

import Base

1443def I64.some(m: Maybe<&2, Word(64n)>) -> Maybe<&2, I64>:
1444  match m:
1445    case None{}:
1446      None{}
1447    case Some{x}:
1448      Some{I64{x}}

Uses (3)

Used by (6)