~/jendhub

def found_value

bend-edit-distance@0.2.2.0 · src/Myers.bend:674

import bend-edit-distance@0.2.2.0/src/Myers.bend as Myers
import Base
import bend-edit-distance@0.2.2.0/EdlibTypes.bend as E

674def found_value(distance: E.EditDistance) -> Nat:
675  match distance:
676    case E.Found{value}:
677      value
678    case E.NotFound{}:
679      0n

Uses (2)

Used by (1)