def not

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

import bendvy-ecs-core@0.1.0.4/ordinary_checked_condition.bend as OrdinaryCheckedCondition

import Base

66def not(~World:Type,~Owner:Type,~evaluate:Owner -> World -> Evaluation<World,Owner>,value:Condition<World,Owner,evaluate>) -> Condition<World,Owner,not_run(~World,~Owner,~evaluate)>:
67  match value:
68    case Condition{owner,Description{shape,uses}}:Condition{owner,Description{Not{shape},uses}}

Uses (5)

Used by (0)

No other definition uses this definition.