law join_onto_fast

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

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

152law join_onto_fast:
153  for +bs: List<&2, M.CmBlock>
154  for +rest: List<&2, U32>
155  {M.cm.join_onto(bs, rest) == M.cm.join_onto.fast(bs, rest) : List<&2, U32>}