type Opening

bendvy-ecs-core@0.1.0.4 · ordinary_machine_initialization_marker.bend:49

import Base
import bendvy-ecs-core@0.1.0.4/machine_stream.bend as St
import bendvy-ecs-core@0.1.0.4/machine.bend as M
import bendvy-ecs-core@0.1.0.4/world.bend as W

49type Opening<S:Data,K:Data,V:Data,C:Type,R:Type,E:Data> is Type:
50  Opened{world:W.World<S,C,R,E>,reader:St.Reader<S,K>,latest:Maybe<&2,M.Transition<V>>,readThrough:Nat}
51  OpenRejected{world:W.World<S,C,R,E>,reader:St.Reader<S,K>}