Workspace.chosen: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/workspace.bend as Workspace
Lines 246-249 of ezx@1.11.0.0/src/ws/workspace.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ws/workspace.bend&start_line=246&end_line=249

import Base

# whether a directory is a member: an entry names it and no exclusion does
def chosen(+spec: Spec, +ds: List<&2, String>) -> Bool:
  Spec{es, ex} = spec
  Bool.and(listed(es, ds), Bool.not(has(ex, ds)))

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.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  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=ezx@1.11.0.0/src/ws/workspace.bend&name=Spec
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/workspace.bend&name=has
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/workspace.bend&name=listed