ExecutionSaveWorld.unique: 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 36-39 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=36&end_line=39

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

def unique(valid:Bool) -> Maybe<&2,Recipe.Refusal>:
  match valid:
    case True{}:None{}
    case False{}:Some{Recipe.DescriptorMismatch{"unique layout keys","duplicate key"}}

Uses (3):
  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=bendvy-ecs-core@0.1.0.3/execution_save_recipe.bend&name=Refusal