ExecutionLifetimeScopeCoverage.has_protected: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_lifetime_scope_coverage.bend as ExecutionLifetimeScopeCoverage
Lines 62-67 of bendvy-ecs-core@0.1.0.3/execution_lifetime_scope_coverage.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_lifetime_scope_coverage.bend&start_line=62&end_line=67

import Base
import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as Layout

def has_protected(current:Layout.Layout) -> Bool:
  match current:
    case Layout.EmptyLayout{}:False{}
    case Layout.LayoutLeaf{_,_,_,_,policy}:protected_leaf(policy)
    case Layout.ClassifiedLayoutLeaf{_,_,_,_,_,policy}:protected_leaf(policy)
    case Layout.LayoutPair{left,right}:Bool.or(has_protected(left),has_protected(right))

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend&name=Layout
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_lifetime_scope_coverage.bend&name=protected_leaf