def tr.split_eq

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

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

37def tr.split_eq(+xs: List<&2, U32>) -> {M.cm.split(xs) == M.cm.split.fast(xs) : M.CmSplit}:
38  CoreL.split_fast(xs)

Uses (6)

Used by (2)