law blocks_len_fast

bend-osdev-mode-core@0.1.0.0 · LAWS.bend:144

import Base
import bend-osdev-mode-core@0.1.0.0/mode_core.bend as M

144law blocks_len_fast:
145  for +bs: List<&2, M.CmBlock>
146  {List.length(&2, M.CmBlock, bs) == M.cm.blocks.len(bs) : Nat}