EdlibTypes.starts_show: def of bend-edit-distance@0.2.2.0
Import: import bend-edit-distance@0.2.2.0/EdlibTypes.bend as EdlibTypes
Lines 170-175 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=170&end_line=175

import Base

def starts_show(locations: Maybe<&2, List<&2, Coordinate>>) -> String:
  match locations:
    case None{}:
      "null"
    case Some{values}:
      coordinates_show(values)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  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=Coordinate
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/EdlibTypes.bend&name=coordinates_show