law vec_top

bend-osdev-algo@0.1.0.0 · LAWS.bend:330

import Base
import bend-osdev-algo@0.1.0.0/algo.bend as A

330law vec_top:
331  {(A.bits32.first_set(2147483648), A.bits32.last_set(1)) == (Some{31n}, Some{0n}) : Maybe<&2, Nat> & Maybe<&2, Nat>}