Docs.del: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lsp/docs.bend as Docs
Lines 14-21 of bolt@1.27.0.0/src/lsp/docs.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/lsp/docs.bend&start_line=14&end_line=21

import Base

# the documents without the one at a URI
def del(docs: List<&2, Doc>, +uri: String) -> List<&2, Doc>:
  match docs:
    case Nil{}:
      Nil{}
    case Con{Doc{+u, t, e, m}, r}:
      +rest = del(r, uri)
      Bool.pick(List<&2, Doc>, String.eq(u, uri), rest, Doc{u, t, e, m} <> rest)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  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=bolt@1.27.0.0/src/lsp/docs.bend&name=Doc