law split_cons_tail

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

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

28law split_cons_tail:
29  for b: M.CmBlock
30  for s: M.CmSplit
31  {M.cm.split.tail(M.cm.split.cons(b, s)) == M.cm.split.tail(s) : List<&2, U32>}