1	import Base
2	import ./change_tick.bend as Tick
3	import ./restore_data.bend as R
4	import ./snapshot_leaf.bend as Leaf
5	import ./ordinary_declaration.bend as Identity
6	import ./persistence_declaration.bend as Decl
7	import ./column.bend as Col
8	import ./world.bend as W
9	import ./decode_data.bend as D
10	
11	type State<P:Type> is Type:State{removed:List<P>}
12	def stage(~State:Type,~Custom:Data,state:State,position:R.Position,field:D.Field) -> State & R.Dispatch<Custom>:
13	  (state,R.Unhandled{})
14	def release(~State:Type,state:State) -> State:state
15	def insert(~S:Data,~P:Type,~identity:Identity.Declaration<S,P>,owner:Leaf.TransientComponent<S,P,identity>,unit:Unit,state:State<P>,bindings:List<&2,R.Binding<S>>,tick:Tick.Tick) -> (Leaf.TransientComponent<S,P,identity> & Unit) & State<P>:
16	  ((owner,unit),state)
17	def resource_insert(~S:Data,~P:Type,~identity:Identity.Declaration<S,P>,unit:Unit,owner:Leaf.TransientResource<S,P,identity>,state:Unit,bindings:List<&2,R.Binding<S>>,tick:Tick.Tick) -> (Unit & Leaf.TransientResource<S,P,identity>) & Unit:
18	  ((unit,owner),state)
19	def commit(~P:Type,state:State<P>) -> State<P>:
20	  State{[]}
21	def take_recovery(~State:Type,state:State) -> State & Unit:
22	  (state,Unit{})