def split_index

import bend-edit-distance@0.2.2.0/src/Reconstruction.bend as Reconstruction

import Base

128def split_index(split: Split) -> Nat:
129  match split:
130    case Split{index, _}:
131      index

Uses (2)