def lift_run

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

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

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

36def lift_run(~World:Type,~Owner:Type,~evaluate:Owner -> World -> Old.Evaluation<World,Owner>,owner:Owner,world:World) -> Evaluation<World,Owner>:lifted_returned(~World,~Owner,evaluate(owner,world))

Uses (3)

Used by (1)

bendvy-ecs-core@0.1.0.4/ordinary_checked_condition:lift