law shl_big

bend-osdev-word64@0.1.1.0 · LAWS.bend:178

import Base
import bend-osdev-word64@0.1.1.0/word64.bend as W

178law shl_big:
179  for +a: W.W64
180  for +k: Nat
181  for +h: {Nat.is_le(64n, k) == True{} : Bool}
182  {W.W64.shl(a, k) == W.W64.zero() : W.W64}