def align_shorter
import bend-edit-distance@0.2.2.0/src/Myers.bend as Myersimport Base
import bend-edit-distance@0.2.2.0/EdlibTypes.bend as E
681def align_shorter(query: String, target: String, query_length: Nat,
682 target_length: Nat, query_is_shorter: Bool) -> Nat:
683 found_value(search_distance(search_shorter(query, target, query_length,
684 target_length, E.Unlimited{}, query_is_shorter, Nil{})))