def tr.join_eq

bend-osdev-cbc@0.1.0.0 · PROOF.bend:40

import bend-osdev-cbc@0.1.0.0/PROOF.bend as PROOF

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

40def tr.join_eq(+bs: List<&2, M.CmBlock>, +rest: List<&2, U32>) -> {M.cm.join_onto(bs, rest) == M.cm.join_onto.fast(bs, rest) : List<&2, U32>}:
41  CoreL.join_onto_fast(bs, rest)

Uses (6)

Used by (2)