def Int.sext

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

import Base

480def Int.sext(m: Nat, +n: Nat, +w: Word(n)) -> Word(m):
481  Int.ext(m, n, Int.msb(n, w), w)