anchor.diff:  %%%===================================================================
   %%% Internal functions
   %%%===================================================================
  +
  +%% @private
  +broadcast({Id, Type, Value}) ->
  +    Broadcast = #broadcast{id=Id, type=Type, value=Value},
  +    riak_core_broadcast:broadcast(Broadcast, ?MODULE).
  +
  +%% @private
  +local_bind(Id, Type, Value) ->
  +    lager:warning("id: ~p, type: ~p value: ~p", [Id, Type, Value]),
  +
  +    case gen_server:call(?MODULE, {bind, Id, Value}, infinity) of
  +        {error, not_found} ->
  +            lager:warning("not found; declaring!"),
  +            {ok, Id} = gen_server:call(?MODULE, {declare, Id, Type}, infinity),
  +            local_bind(Id, Type, Value);
  +        {ok, X} ->
  +           {ok, X}
  +    end.
  
positive.code: %% State record.
  -record(state, {store :: store()}).
  
  %% Definitions for the bind/read fun abstraction.
  -define(BIND, fun(_AccId, _AccValue, _Store) ->
                  ?CORE:bind(_AccId, _AccValue, _Store)
  
negative.code: 
  %% @todo doc
  %% @todo spec
  broadcast_data(#broadcast{id=Id, type=Type, value=Value}=Msg) ->
      lager:warning("id: ~p, msg: ~p", [Id, Msg]),
      {{Id, Type, Value}, {Id, Type, Value}}.
  
  %% @todo doc
  %% @todo spec
  merge({Id, Type, Value}, {Id, Type, Value}) ->
      lager:warning("id: ~p, type: ~p value: ~p", [Id, Type, Value]),
  
      case is_stale({Id, Type, Value}) of
          true ->
              false;
          false ->
              {ok, _} = local_bind(Id, Type, Value),
              true
      end.
  
  %% @todo doc
  %% @todo spec
  is_stale({Id, Type, Value}) ->
      lager:warning("id: ~p, type: ~p value: ~p", [Id, Type, Value]),
  
      Result = case read(Id, undefined) of
          {ok, {_I, T, V}} ->
              not lasp_lattice:is_lattice_strict_inflation(T, V, Value);
          _ ->
              %% We don't know about the value yet; not stale.
              false
      end,
  
      lager:warning("returning: ~p", [Result]),
  
      Result.
  
  %% @todo doc
  %% @todo spec
  