law split_cons_blocks

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

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

23law split_cons_blocks:
24  for b: M.CmBlock
25  for s: M.CmSplit
26  {M.cm.split.blocks(M.cm.split.cons(b, s)) == Con{b, M.cm.split.blocks(s)} : List<&2, M.CmBlock>}