def build_peq

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

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

77def build_peq(fuel: Nat, query: String, +pairs: List<&2, E.EqualityPair>) -> List<&2, Peq>:
78  match fuel:
79    case 0n:
80      Nil{}
81    case 1n+p:
82      build_peq.step(split_query(32n, query), pairs, rest => build_peq(p, rest, pairs))