Def.is_root: def of bend-lint-pack@0.1.1.0
Import: import bend-lint-pack@0.1.1.0/dead/def.bend as Def
Lines 30-36 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=30&end_line=36

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

# Entry points
# ============
def is_root(+laws: Set(), +entries: List<&2, String>, +owner: String) -> Bool:
  Bool.or(
    String.eq(owner, "main"),
    Bool.or(Common.Laws.has(laws, owner), Common.Entry.any(entries, owner))
  )

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or
  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=Base/base.bend&name=String.eq
  https://jend.leeeet.dev/definition.txt?path=bend-lint-pack@0.1.1.0/common.bend&name=Entry.any
  https://jend.leeeet.dev/definition.txt?path=bend-lint-pack@0.1.1.0/common.bend&name=Laws.has