def U64.shr

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

import Base

1209def U64.shr(a: U64, k: Nat) -> U64:
1210  match a:
1211    case U64{x}:
1212      U64{Int.shr(64n, False{}, k, x)}