ExecutionCommandSystem.publication_verified_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 109-111 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=109&end_line=111

import Base

def publication_verified_gate(-World:Type,-Commands:Type,-Owner:Type,result:World & Bool,commands:Commands,coherent:Unit -> Bool,apply:World -> Commands -> World & Commands,restore:World & Commands -> World & Owner) -> World & Owner:
  match result:
    case (world,allowed):restore(publication_gate(World,Commands,Bool.and(coherent(Unit{}),allowed),world,commands,apply))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_command_system.bend&name=publication_gate