Def.roots: def of bend-lint-pack@0.1.1.0
Import: import bend-lint-pack@0.1.1.0/dead/def.bend as Def
Lines 38-53 of bend-lint-pack@0.1.1.0/dead/def.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-pack@0.1.1.0/dead/def.bend&start_line=38&end_line=53

import Base
import bend-lint-pack@0.1.1.0/common.bend as Common

def roots(
  seen: List<&2, Common.Seen>,
  +laws: Set(),
  +entries: List<&2, String>,
  +out: List<&2, String>
) -> List<&2, String>:
  match seen:
    case Nil{}:
      out
    case Con{Common.Seen{+owner, span}, rest}:
      roots(
        rest,
        laws,
        entries,
        Bool.pick(List<&2, String>, is_root(laws, entries, owner), owner <> out, out)
      )

Uses (6):
  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=Set
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bend-lint-pack@0.1.1.0/common.bend&name=Seen
  https://jend.leeeet.dev/definition.txt?path=bend-lint-pack@0.1.1.0/dead/def.bend&name=is_root