def negated

bendvy-ecs-core@0.1.0.4 · ordinary_checked_condition.bend:62

import Base

62def negated(~World:Type,~Owner:Type,value:Evaluation<World,Owner>) -> Evaluation<World,Owner>:
63  match value:
64    case Evaluation{world,owner,result}:Evaluation{world,owner,negate(result)}