law witness_other

bend-osdev-array@0.1.0.1 · LAWS.bend:259

import Base

259law witness_other:
260  {U32.is_eq(U32.and(1, U32.sub(U32.shln(1, 2n), 1)), U32.and(2, U32.sub(U32.shln(1, 2n), 1))) == False{} : Bool}