def redirect.pop

emerging-ezhttp@0.21.0.0 · src/redirect.bend:40

import Base

40# the segments kept so far, last first, with the last one dropped
41def redirect.pop(out: List<&2, String>) -> List<&2, String>:
42  match out:
43    case []:
44      []
45    case _ <> t:
46      t