Imports.fresh.fast: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/imports.bend as Imports
Lines 142-152 of bolt@1.27.0.0/src/rules/imports.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/imports.bend&start_line=142&end_line=152

import Base
import bolt@1.27.0.0/src/lazy/lazy.bend as Lazy

# `fresh.spec`, asking the short lists first and each only while the answer is
# open: a target already found or seen is never looked for among every file
def fresh.fast(ds: List<&2, String>, +seen: List<&2, String>, +read: List<&2, String>) -> List<&2, String>:
  match ds:
    case Nil{}:
      Nil{}
    case Con{+d, rest}:
      +more = fresh.fast(rest, seen, read)
      Bool.pick(List<&2, String>,
        Lazy.and_then(Bool.not(seek(more, d)), _u => Lazy.and_then(Bool.not(seek(seen, d)), _v => seek(read, d))),
        d <> more, more)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  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=bolt@1.27.0.0/src/lazy/lazy.bend&name=and_then
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/imports.bend&name=seek