Argv.only_todos: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lsp/checker/argv.bend as Argv
Lines 23-30 of bolt@1.27.0.0/src/lsp/checker/argv.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/lsp/checker/argv.bend&start_line=23&end_line=30

import Base
import bolt@1.27.0.0/src/lsp/report.bend as Rep

# only the open-laws report ("1 TODO found", "N TODOs found"), and nothing
# else
def only_todos(ds: List<&2, Rep.Diag>) -> Bool:
  match ds:
    case Con{Rep.Diag{line, +msg}, Nil{}}:
      Bool.or(String.contains(msg, "TODO found"), String.contains(msg, "TODOs found"))
    case other:
      False{}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.contains
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/report.bend&name=Diag