law split_fast

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

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

148law split_fast:
149  for +xs: List<&2, U32>
150  {M.cm.split(xs) == M.cm.split.fast(xs) : M.CmSplit}