Reconstruction.valid_path: def of bend-edit-distance@0.2.2.0
Import: import bend-edit-distance@0.2.2.0/src/Reconstruction.bend as Reconstruction
Lines 251-253 of bend-edit-distance@0.2.2.0/src/Reconstruction.bend: https://jend.leeeet.dev/read.txt?path=bend-edit-distance@0.2.2.0/src/Reconstruction.bend&start_line=251&end_line=253

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

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

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/EdlibTypes.bend&name=EqualityPair
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/EdlibTypes.bend&name=Operation
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/src/Reconstruction.bend&name=validate