ExecutionSaveWorld.eligibility_result: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_save_world.bend as ExecutionSaveWorld
Lines 40-43 of bendvy-ecs-core@0.1.0.3/execution_save_world.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_save_world.bend&start_line=40&end_line=43

import Base
import bendvy-ecs-core@0.1.0.3/execution_save_recipe.bend as Recipe

def eligibility_result(result:Maybe<&2,String>,valid:Bool) -> Maybe<&2,Recipe.Refusal>:
  match result:
    case Some{key}:Some{Recipe.PlainUnserializable{key}}
    case None{}:unique(valid)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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_recipe.bend&name=Refusal
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_save_world.bend&name=unique