def Int.max

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

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

import Base

68def Int.max(+n: Nat, s: Bool) -> Word(n):
69  match s:
70    case True{}:
71      Int.put_msb(n, False{}, Int.ones(n))
72    case False{}:
73      Int.ones(n)

Uses (5)

Used by (3)