def I32.shr

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

import Base

1385def I32.shr(a: I32, k: Nat) -> I32:
1386  match a:
1387    case I32{x}:
1388      +v = {x : U32}
1389      I32{S32.shr.if(S32.is_neg(v), v, k)}