def within_threshold

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

import bend-edit-distance@0.2.2.0/EdlibTypes.bend as EdlibTypes

import Base

205def within_threshold(threshold: Threshold, distance: Nat) -> Bool:
206  match threshold:
207    case Unlimited{}:
208      True{}
209    case MaxDistance{maximum}:
210      Nat.is_le(distance, maximum)

Uses (4)

Used by (4)