OrdinaryConditionComposition.negated: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/ordinary_condition_composition.bend as OrdinaryConditionComposition
Lines 66-71 of bendvy-ecs-core@0.1.0.4/ordinary_condition_composition.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_condition_composition.bend&start_line=66&end_line=71

import Base

def negated(~World:Type,~Owner:Type,result:Evaluation<World,Owner>) -> Evaluation<World,Owner>:
  match result:
    case Value{world,owner,value}:Value{world,owner,Bool.not(value)}
    case NoValue{world,owner}:NoValue{world,owner}
    case InvalidRegistration{world,owner}:InvalidRegistration{world,owner}
    case NoBinding{world,owner}:NoBinding{world,owner}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_condition_composition.bend&name=Evaluation