def access_subset

bendvy-ecs-core@0.1.0.4 · ordinary_reader_stream_parameter.bend:46

import bendvy-ecs-core@0.1.0.4/ordinary_reader_stream_parameter.bend as OrdinaryReaderStreamParameter

import Base

46def access_subset(wanted:List<&2,String>,+access:List<&2,String>) -> Bool:
47  match wanted:
48    case []:True{}
49    case name <> rest:Bool.and(access_member(name,access),access_subset(rest,access))

Uses (5)

Used by (3)