~/jendhub

def eligibility

bendvy-ecs-core@0.1.0.3 · execution_save_world.bend:44

import bendvy-ecs-core@0.1.0.3/execution_save_world.bend as ExecutionSaveWorld
import Base
import bendvy-ecs-core@0.1.0.3/execution_save_plan.bend as Plan
import bendvy-ecs-core@0.1.0.3/execution_save_recipe.bend as Recipe
import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as Layout

44def eligibility(~cp:Plan.Plan,~rp:Plan.Plan) -> Maybe<&2,Recipe.Refusal>:
45  eligibility_result(Plan.first(Plan.ineligible(cp),Plan.ineligible(rp)),Bool.and(Layout.unique(Plan.layout(cp)),Layout.unique(Plan.layout(rp))))

Uses (9)

Used by (1)