OrdinaryCheckedCondition.not_run: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/ordinary_checked_condition.bend as OrdinaryCheckedCondition
Lines 65-65 of bendvy-ecs-core@0.1.0.4/ordinary_checked_condition.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_checked_condition.bend&start_line=65&end_line=65

import Base

def not_run(~World:Type,~Owner:Type,~evaluate:Owner -> World -> Evaluation<World,Owner>,owner:Owner,world:World) -> Evaluation<World,Owner>:negated(~World,~Owner,evaluate(owner,world))

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_checked_condition.bend&name=Evaluation
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_checked_condition.bend&name=negated