1	import Base
2	import ./change_tick.bend as Tick
3	import ./event_runtime.bend as Ev
4	import ./relation_commands.bend as A
5	
6	# The actual event domain owner remains affine. Inspection has its own cursor
7	# and never invokes an event reader or an operational with_world step.
8	type Frame<-S:Data,-C:Type,-R:Type,-E:Data> is Type:
9	  Frame{runtime:Ev.Runtime<S,C,R,A.Notice<S,E>>,cursor:Maybe<&2,Tick.Tick>}