~/jendhub

def valid_path

bend-edit-distance@0.2.2.0 · src/Reconstruction.bend:251

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

251def valid_path(query: String, target: String, operations: List<&2, E.Operation>,
252                 pairs: List<&2, E.EqualityPair>, distance: Nat) -> Bool:
253  validate(operations, query, target, pairs, distance, 0n)

Uses (7)

Used by (1)