def check_run
bendvy-ecs-core@0.1.0.4 · ordinary_checked_condition.bend:45
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_check_declaration.bend as D
import bendvy-ecs-core@0.1.0.4/world.bend as W
45def check_run(~S:Data,~C:Type,~R:Type,~E:Data,~Ops:Type -> Type,~Args:Data,~body:@-H:Type -> @-caps:Ops(H) -> Args -> H -> H & Bool,~declaration:D.Declaration<S,C,R,E,Ops>,args:Args,world:W.World<S,C,R,E>) -> Evaluation<W.World<S,C,R,E>,Args>:
46 check_shared(~S,~C,~R,~E,~Ops,~Args,~body,~declaration,args,world)