def tr.split_fin_nil

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

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

529def tr.split_fin_nil(+s: M.CmSplit) -> {tr.split_fin(Nil{}, s) == s : M.CmSplit}:
530  match s:
531    case M.CmSplit{bs, t}:
532      {==}