law dbl_vec

bend-osdev-u32@0.1.0.0 · LAWS.bend:222

import Base
import bend-osdev-u32@0.1.0.0/u32.bend as U

222law dbl_vec:
223  {(U.U32Nat.dbl(3n, 5n), U.U32Nat.bit(True{}), U.U32Nat.half(7n)) == (40n, 1n, 3n) : Nat & Nat & Nat}