EdlibTypes.operation_show: def of bend-edit-distance@0.2.2.0
Import: import bend-edit-distance@0.2.2.0/EdlibTypes.bend as EdlibTypes
Lines 108-117 of bend-edit-distance@0.2.2.0/EdlibTypes.bend: https://jend.leeeet.dev/read.txt?path=bend-edit-distance@0.2.2.0/EdlibTypes.bend&start_line=108&end_line=117

import Base

def operation_show(operation: Operation) -> String:
  match operation:
    case Match{}:
      "0"
    case Insert{}:
      "1"
    case Delete{}:
      "2"
    case Mismatch{}:
      "3"

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/EdlibTypes.bend&name=Operation