Lint.serve: def of bend-lint-pack@0.1.1.0
Import: import bend-lint-pack@0.1.1.0/vendor/lint.bend as Lint
Lines 232-233 of bend-lint-pack@0.1.1.0/vendor/lint.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-pack@0.1.1.0/vendor/lint.bend&start_line=232&end_line=233

import Base

def serve(run: Input -> IO(List<&2, Diag>)) -> IO(Unit):
  IO.bind(Input, Unit, input(), i => IO.bind(List<&2, Diag>, Unit, run(i), report))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=bend-lint-pack@0.1.1.0/vendor/lint.bend&name=Diag
  https://jend.leeeet.dev/definition.txt?path=bend-lint-pack@0.1.1.0/vendor/lint.bend&name=Input
  https://jend.leeeet.dev/definition.txt?path=bend-lint-pack@0.1.1.0/vendor/lint.bend&name=input
  https://jend.leeeet.dev/definition.txt?path=bend-lint-pack@0.1.1.0/vendor/lint.bend&name=report