Disk.new: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lsp/files/disk.bend as Disk
Lines 92-94 of bolt@1.27.0.0/src/lsp/files/disk.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/lsp/files/disk.bend&start_line=92&end_line=94

import Base
import bolt@1.27.0.0/src/lsp/files/service.bend as S

# the real file system
def new() -> S.Files:  # noqa: L001 effect record
  S.Files{read, base_path, cwd, entries}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/files/disk.bend&name=base_path
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/files/disk.bend&name=cwd
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/files/disk.bend&name=entries
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/files/disk.bend&name=read
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/files/service.bend&name=Files