~/jendhub

def Int.read.pos

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

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

420def Int.read.pos(+n: Nat, m: Maybe<&2, Word(n)>) -> Maybe<&2, Word(n)>:
421  match m:
422    case None{}:
423      None{}
424    case Some{w}:
425      +v = {w : Word(n)}
426      Int.read.fit(Int.msb(n, v), n, v)

Uses (5)

Used by (1)