anchor.diff:  -type broadcast_message() :: #broadcast{}.
   -type broadcast_id() :: id().
   -type broadcast_clock() :: clock().
  --type broadcast_payload() :: {id(), type(), metadata(), value(), crdt()}.
  +-type broadcast_payload() :: {id(), type(), metadata(), value(), var()}.
   
   %% @doc Returns from the broadcast message the identifier and the payload.
   -spec broadcast_data(broadcast_message()) ->
  
positive.code: 
  %% @private
  convergence() ->
      {ok, Convergence} = lasp:query(?CONVERGENCE_ID),
      Convergence.
  
  %% @private
  bind_convergence({Id, Type, Metadata, Value}) ->
      {ok, Value} = ?MODULE:local_bind(Id, Type, Metadata, Value),
      {ok, Value}.
  
negative.code:                     clock :: lasp_vclock:vclock(),
                      metadata :: metadata(),
                      value :: value(),
                      convergence :: var()}).
  
  -define(MEMORY_INTERVAL, 10000).
  -define(DELTA_INTERVAL, 10000).
  