1	import Base
2	import ./trace_facts.bend as Facts
3	# Execution transport, separate from the owned ECS World and gameplay providers.
4	type Context<W:Type> is Type:
5	  Context{world:W,trace:Facts.State}
6	def disabled(~W:Type,world:W) -> Context<W>:
7	  Context{world,Facts.Off{}}
8	def enabled(~W:Type,world:W) -> Context<W>:
9	  Context{world,Facts.On{[]}}