def read_only

bendvy-ecs-core@0.1.0.3 · execution_declaration.bend:62

import bendvy-ecs-core@0.1.0.3/execution_declaration.bend as ExecutionDeclaration

import Base

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

Uses (5)

Used by (2)