def compilation_read_only

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

import Base

86def 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:
87  match value:
88    case Supported{Declaration{_,access},_}:read_only(access)
89    case Unsupported{_,_,_}:False{}