Check.run: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/check.bend as Check
Lines 88-96 of bendvy-ecs-core@0.1.0.3/check.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/check.bend&start_line=88&end_line=96

import Base
import world.bend as W

# Check runtime requirements, then evaluate a cursor-free Bool body through
# its declared capabilities. Missing requirements return Checked with Fail
# without invoking body; otherwise Done contains True or False. World is
# returned on both paths, including any changes made by trusted requirement
# callbacks. Check itself advances no system/lifecycle/event cursor or clock.
# No automatic transaction rollback applies to arbitrary setup callbacks.
# Condition contract and consumers: docs/parity/inspect.md.
def run(~S:Data,~Store:Type,~R:Type,~E:Data,~Ops:Type -> Type,~A:Data,~body:@-H:Type -> @-caps:Ops(H) -> A -> H -> H & Bool,~plan:Plan<S,Store,R,E,Ops>,args:A,world:W.World<S,Store,R,E>) -> Checked<S,Store,R,E>:
  ready(~S,~Store,~R,~E,~Ops,~A,~body,~caps_field(~S,~Store,~R,~E,~Ops,plan),args,required_field(~S,~Store,~R,~E,~Ops,plan)(world))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/check.bend&name=Checked
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/check.bend&name=Plan
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/check.bend&name=caps_field
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/check.bend&name=ready
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/check.bend&name=required_field
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/world.bend&name=World