ExecutionDeclaration.read_only: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_declaration.bend as ExecutionDeclaration
Lines 62-65 of bendvy-ecs-core@0.1.0.3/execution_declaration.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_declaration.bend&start_line=62&end_line=65

import Base

def read_only(accesses:List<&2,Access>) -> Bool:
  match accesses:
    case []:True{}
    case Access{_,_,_,permission} <> rest:Bool.and(permitted_read(permission),read_only(rest))

Uses (5):
  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=List
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_declaration.bend&name=Access
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_declaration.bend&name=permitted_read