~/jendhub

def I64.shr

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

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

1574def I64.shr(a: I64, k: Nat) -> I64:
1575  match a:
1576    case I64{x}:
1577      I64{Int.shr(64n, True{}, k, x)}

Uses (4)

Used by (0)

No other definition uses this definition.