ReaderDomains.choose: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/reader_domains.bend as ReaderDomains
Lines 11-14 of bendvy-ecs-core@0.1.0.4/reader_domains.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/reader_domains.bend&start_line=11&end_line=14

import Base

def choose(~E: Data,selected: Bool,+value: E,+events: List<&2,E>,+removals: List<&2,E>) -> List<&2,E> & List<&2,E>:
  match selected:
    case True{}: (value <> events,removals)
    case False{}: (events,value <> removals)

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma