anchor.diff:  %% Type Definitions
   %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   
  --type data() :: any().
  +-type data() :: cyclon_cache:cache() | {cyclon_cache:cache(), cyclon_cache:cache()}.
   -type round() :: non_neg_integer().
   
   -type state() :: {Nodes::cyclon_cache:cache(), %% the cache of random nodes
  
positive.code: 
  
  %% @doc Handle messages
  -spec handle_msg(Msg::comm:message(), State::state()) -> {ok, state()}.
  
  %% replaces the reference to self's dht node with NewNode
  handle_msg({rm_changed, NewNode}, {Cache, _Node}) ->
  
negative.code: 
  
  %% @doc Always returns false, as cyclon does not implement rounds.
  -spec round_has_converged(State::state()) -> {false, state()}.
  round_has_converged(State) ->
      {false, State}.
  
  