Answer.proved: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lsp/checker/answer.bend as Answer
Lines 50-57 of bolt@1.27.0.0/src/lsp/checker/answer.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/lsp/checker/answer.bend&start_line=50&end_line=57

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

# a LAWS.bend's errors, settled by its PROOF.bend's answer: none when that
# checks clean, and no check at all when bend could not be run on it
def proved(aa: Answer, ds: List<&2, Rep.Diag>) -> Answer:
  match aa:
    case Checked{pds}:
      Checked{Bool.pick(List<&2, Rep.Diag>, List.is_empty(&2, Rep.Diag, pds), [], ds)}
    case Unrun{}:
      Unrun{}

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=List.is_empty
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/checker/answer.bend&name=Answer
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/report.bend&name=Diag