ExecutionDeclaration.compilation_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 86-89 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=86&end_line=89

import Base

def compilation_read_only(~S:Data,~WC:Type,~C:Type,~R:Type,~Ops:Data -> (Type -> Type) -> Type -> Type,value:Compilation<S,WC,C,R,Ops>) -> Bool:
  match value:
    case Supported{Declaration{_,access},_}:read_only(access)
    case Unsupported{_,_,_}:False{}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_declaration.bend&name=Compilation
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_declaration.bend&name=Declaration
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_declaration.bend&name=read_only