Router.matches: def of bend-kit-router@0.2.0.0
Import: import bend-kit-router@0.2.0.0/router.bend as Router
Lines 138-147 of bend-kit-router@0.2.0.0/router.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-router@0.2.0.0/router.bend&start_line=138&end_line=147

import Base

def matches(pat: List<&2, Segment>, got: List<&2, String>) -> Bool:
  match pat got:
    case Nil{} Nil{}:
      True{}
    case Literal{p} <> pt g <> gt:
      continue(String.eq(p, g), u => matches(pt, gt))
    case Parameter{name} <> pt +g <> gt:
      continue(Bool.not(String.is_empty(g)), u => matches(pt, gt))
    case _ _:
      False{}

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.is_empty
  https://jend.leeeet.dev/definition.txt?path=bend-kit-router@0.2.0.0/router.bend&name=Segment
  https://jend.leeeet.dev/definition.txt?path=bend-kit-router@0.2.0.0/router.bend&name=continue