type EditDistance

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

import Base

37type EditDistance is Data:
38  Found{value: Nat}
39  NotFound{}