type Threshold

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

import Base

14type Threshold is Data:
15  Unlimited{}
16  MaxDistance{value: Nat}