~/jendhub

def split_query

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

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

28def split_query(n: Nat, query: String) -> String & String:
29  match n query:
30    case 0n _:
31      ("", query)
32    case 1n+p SNil{}:
33      ("", "")
34    case 1n+p SCon{h, t}:
35      split_query.prepend(h, split_query(p, t))

Uses (5)

Used by (1)