ExecutionCommandSystem.publication_gate: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_command_system.bend as ExecutionCommandSystem
Lines 104-108 of bendvy-ecs-core@0.1.0.3/execution_command_system.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_command_system.bend&start_line=104&end_line=108

import Base

# These gates consume the closed action once and preserve each affine owner.
def publication_gate(-World:Type,-Owner:Type,allowed:Bool,world:World,owner:Owner,apply:World -> Owner -> World & Owner) -> World & Owner:
  match allowed:
    case False{}:(world,owner)
    case True{}:apply(world,owner)

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=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma