Router.unavailable: def of bend-kit-router@0.2.0.0 Import: import bend-kit-router@0.2.0.0/router.bend as Router Lines 444-449 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=444&end_line=449 import Base def unavailable(xs: List<&2, String>, +present: List<&2, String>) -> List<&2, String>: match xs: case Nil{}: Nil{} case +h <> t: unavailable.prepend(Bool.not(member(present, h)), h, unavailable(t, present)) Uses (5): 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=bend-kit-router@0.2.0.0/router.bend&name=member https://jend.leeeet.dev/definition.txt?path=bend-kit-router@0.2.0.0/router.bend&name=unavailable.prepend