Router.hidden.path: def of bend-kit-router@0.2.0.0
Import: import bend-kit-router@0.2.0.0/router.bend as Router
Lines 466-471 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=466&end_line=471

import Base

def hidden.path(~A: Data, hides: Bool, handlers: List<&2, Handler<A>>, present: List<&2, String>, tail: List<&2, Hidden>) -> List<&2, Hidden>:
  match hides:
    case False{}:
      tail
    case True{}:
      hidden.handlers(~A, handlers, present, tail)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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=Handler
  https://jend.leeeet.dev/definition.txt?path=bend-kit-router@0.2.0.0/router.bend&name=Hidden
  https://jend.leeeet.dev/definition.txt?path=bend-kit-router@0.2.0.0/router.bend&name=hidden.handlers