type Observed

bendvy-ecs-core@0.1.0.4 · ordinary_machine_condition.bend:33

import Base
import bendvy-ecs-core@0.1.0.4/ordinary_machine_initialization.bend as Init
import bendvy-ecs-core@0.1.0.4/world.bend as W

33type Observed<S:Data,K:Data,V:Data,C:Type,R:Type,E:Data,-take:R -> R & Init.State<S,K,V>,-put:R -> Init.State<S,K,V> -> R> is Type:
34  Observed{world:W.World<S,C,R,E>,instance:Instance<S,K,V,C,R,E,take,put>,value:Maybe<&2,Bool>}
35  RegistrationRejected{world:W.World<S,C,R,E>,instance:Instance<S,K,V,C,R,E,take,put>}