def distance_show

bend-edit-distance@0.2.2.0 · EdlibTypes.bend:87

import Base

87def distance_show(distance: EditDistance) -> String:
88  match distance:
89    case Found{value}:
90      Nat.show(value)
91    case NotFound{}:
92      "-1"