anchor.diff:               ]).
   
   -record(state, {partition, clock, table}).
  --record(dv, {value, next = empty, waitingThreads = [], bindingList = [], creator, lazy= false, bounded = false}). 
  +-record(dv, {value, next = empty, waiting_threads = [], bindingList = [], creator, lazy= false, bounded = false}). 
   
   %% Extrenal API
   asyncBind(Id, Value) -> 
  
positive.code: 
  put(Value, Next, Key, Table) ->
      [{_Key,V}] = ets:lookup(Table, Key),
      Threads = V#dv.waitingThreads,
      BindingList = V#dv.bindingList,
      V1 = #dv{value= Value, next =Next, lazy=false, bounded= true},
      ets:insert(Table, {Key, V1}),
  
negative.code: 
  execute_and_put(F, Arg, Next, Key, Table) ->
      [{_Key,V}] = ets:lookup(Table, Key),
      Threads = V#dv.waiting_threads,
      BindingList = V#dv.bindingList,
      Value = F(Arg),
      V1 = #dv{value= Value, next =Next, lazy=false,bounded= true},
  