Lint.fold_next: def of bend-lint-pack@0.1.1.0
Import: import bend-lint-pack@0.1.1.0/vendor/lint.bend as Lint
Lines 111-117 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=111&end_line=117

import Base

# One step of fold_facts: stop at None{}, else run step and go on.
def fold_next(~A: Type, ~step: A -> @+f: Fact -> IO(A), m: Maybe<&2, Fact>, acc: A, again: A -> IO(A)) -> IO(A):
  match m:
    case None{}:
      IO.pure(A, acc)
    case Some{f}:
      IO.bind(A, A, step(acc, f), again)

Uses (5):
  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=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=bend-lint-pack@0.1.1.0/vendor/lint.bend&name=Fact