def cm.split.cons

bend-osdev-mode-core@0.1.0.0 · mode_core.bend:149

import Base

149def cm.split.cons(b: CmBlock, s: CmSplit) -> CmSplit:
150  match s:
151    case CmSplit{bs, t}:
152      CmSplit{Con{b, bs}, t}