type Observed

bendvy-ecs-core@0.1.0.3 · inspector.bend:37

import Base
import world.bend as W

37# Inspector result retaining World and its updated Instance with either
38# a Data error or output. Failure retains the prior observation cursor; success
39# advances the standalone cursor and world clock. It owns no system reader.
40type Observed<-S:Data,-Store:Type,-R:Type,-E:Data,U:Data,Out:Data> is Type:
41  Observed{world:W.World<S,Store,R,E>,instance:Instance<S>,result:Result<&2,&2,U,Out>}