ExecutionSavePlan.ineligible: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_save_plan.bend as ExecutionSavePlan
Lines 38-44 of bendvy-ecs-core@0.1.0.3/execution_save_plan.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_save_plan.bend&start_line=38&end_line=44

import Base

def ineligible(plan:Plan) -> Maybe<&2,String>:
  match plan:
    case Empty{}:None{}
    case Plain{_,_,_,key,_}:Some{key}
    case Transient{_,_,_,_,_}:None{}
    case Constructed{_,_,_,_,_,_}:None{}
    case Pair{left,right}:first(ineligible(left),ineligible(right))

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_save_plan.bend&name=Plan
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_save_plan.bend&name=first