~/jendhub

def readers_remain

bendvy-ecs-core@0.1.0.4 · removals.bend:94

import bendvy-ecs-core@0.1.0.4/removals.bend as Removals
import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W

94def readers_remain(entries: List<&2,W.RegistrationMeta>) -> Bool:
95  match entries:
96    case []: False{}
97    case W.RegistrationMeta{_,_,access} <> rest: Bool.or(removal_access(access),readers_remain(rest))

Uses (5)

Used by (1)