Router.method.names: def of bend-kit-router@0.2.0.0
Import: import bend-kit-router@0.2.0.0/router.bend as Router
Lines 237-242 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=237&end_line=242

import Base

def method.names(~A: Data, xs: List<&2, Handler<A>>) -> List<&2, String>:
  match xs:
    case Nil{}:
      ["OPTIONS"]
    case Handler{+method, pattern, ss, action} <> t:
      method.prepend(String.eq(method, "GET"), method, method.names(~A, t))

Uses (5):
  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=bend-kit-router@0.2.0.0/router.bend&name=Handler
  https://jend.leeeet.dev/definition.txt?path=bend-kit-router@0.2.0.0/router.bend&name=method.prepend