def lift

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

import Base
import bendvy-ecs-core@0.1.0.4/ordinary_condition_composition.bend as Old

37def lift(~World:Type,~Owner:Type,~evaluate:Owner -> World -> Old.Evaluation<World,Owner>,value:Old.Condition<World,Owner,evaluate>) -> Condition<World,Owner,lift_run(~World,~Owner,~evaluate)>:
38  match value:
39    case Old.Condition{owner,description}:Condition{owner,Description{Existing{description},[]}}