Router.allow: def of bend-kit-router@0.2.0.0
Import: import bend-kit-router@0.2.0.0/router.bend as Router
Lines 251-252 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=251&end_line=252

import Base

def allow(xs: List<&2, String>) -> String:
  String.join(unique(List.sort(~String, ~String.is_le, xs), "", Nil{}), ", ")

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.sort
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.is_le
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.join
  https://jend.leeeet.dev/definition.txt?path=bend-kit-router@0.2.0.0/router.bend&name=unique