type Definition

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

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

24type Definition<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:
25  Defined{world:W.World<S,C,R,E>,instance:Instance<S,K,V,C,R,E,take,put>}
26  DefinitionRejected{world:W.World<S,C,R,E>}