def tr.split_fin

bend-osdev-mode-core@0.1.0.0 · PROOF.bend:519

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

519def tr.split_fin(acc: List<&2, M.CmBlock>, s: M.CmSplit) -> M.CmSplit:
520  match s:
521    case M.CmSplit{bs, t}:
522      M.CmSplit{M.cm.blocks.rev_onto(acc, bs), t}