Check.Checked: type of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/check.bend as Check
Lines 35-38 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=35&end_line=38

import Base
import world.bend as W

# Check outcome retaining World with either a preflight Error or Bool.
# False is a successful condition result, distinct from missing requirements.
type Checked<S:Data,Store:Type,R:Type,E:Data> is Type:
  Checked{world:W.World<S,Store,R,E>,result:Result<&2,&2,Error,Bool>}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/check.bend&name=Error
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/world.bend&name=World