OrdinaryAppExistingExecution.after: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/ordinary_app_existing_execution.bend as OrdinaryAppExistingExecution
Lines 88-89 of bendvy-ecs-core@0.1.0.4/ordinary_app_existing_execution.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_app_existing_execution.bend&start_line=88&end_line=89

import Base
import bendvy-ecs-core@0.1.0.4/schedule_provision.bend as SP

def after(~S:Data,~O:Type,~Shared:Type,~plan:(O & Shared) -> (O & Shared) & SP.Plan<S>,~after:Shared -> Shared & Bool,value:O & Shared) -> (O & Shared) & SP.Plan<S>:
  after_planned(~S,~O,~Shared,~after,plan(value))

Uses (4):
  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=bendvy-ecs-core@0.1.0.4/ordinary_app_existing_execution.bend&name=after_planned
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/schedule_provision.bend&name=Plan