def U64.some

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

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

import Base

1078def U64.some(m: Maybe<&2, Word(64n)>) -> Maybe<&2, U64>:
1079  match m:
1080    case None{}:
1081      None{}
1082    case Some{x}:
1083      Some{U64{x}}

Uses (3)

Used by (6)