~/jendhub

def Int.read.neg

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

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

428def Int.read.neg(+n: Nat, m: Maybe<&2, Word(n)>) -> Maybe<&2, Word(n)>:
429  match m:
430    case None{}:
431      None{}
432    case Some{w}:
433      +v = {w : Word(n)}
434      Int.read.fit(Cmp.is_gt(Word.cmp(n, v, Int.min(n, True{}))), n,
435        Int.neg(n, v))

Uses (9)

Used by (1)