World.ignore.file: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/add/world.bend as World
Lines 39-41 of ezx@1.11.0.0/src/add/world.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/add/world.bend&start_line=39&end_line=41

import Base

# the ignore file's path, which is fixed
def ignore.file() -> String:
  ".gitignore"

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String