def Int.min

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

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

import Base

61def Int.min(+n: Nat, s: Bool) -> Word(n):
62  match s:
63    case True{}:
64      Int.put_msb(n, True{}, Word.zero(n))
65    case False{}:
66      Word.zero(n)

Uses (5)

Used by (6)