~/jendhub

def Int.read.split

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

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

453def Int.read.split(s: Bool, +n: Nat, +r: U32, p: Bool & String) ->
454  Maybe<&2, Word(n)>:
455  (neg, t) = p
456  Int.read.sign(s, neg, n, Int.bits(n, U32.to_nat(r)), r, t)

Uses (11)

Used by (1)