anchor.diff:  -spec stop() -> ok.
   stop() ->
     application:stop(antidote).
  -
   
   -spec start_transaction(Clock::snapshot_time() | ignore , Properties::txn_properties(), boolean())
                          -> {ok, txid()} | {error, reason()}.
  
positive.code: 	    {error, Reason}
      end.
  
  %%-get_log_operations({key(),type(),bucket()}) -> [[{non_neg_integer(),#clocksi_payload{}]] | {error, term()}.
  get_log_operations(ObjectClockPairs) ->
      Res = get_log_operations_internal(ObjectClockPairs,[]),
      %% result is a list of lists of lists
  
negative.code:             end
      end.
  
  -spec read_objects(snapshot_time() | ignore, txn_properties(), [bound_object()]) ->
  			  {ok, [term()], snapshot_time()} | {error, reason()}.
  read_objects(Clock, Properties, Objects) ->
      read_objects(Clock, Properties, Objects, false).
  
  