law split_eta

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

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

33law split_eta:
34  for s: M.CmSplit
35  {M.CmSplit{M.cm.split.blocks(s), M.cm.split.tail(s)} == s : M.CmSplit}