anchor.diff:      ok.
   
   %%%%%%%%%%%%%%%%%% access of proposer entry
  --spec entry_key(entry())            -> any().
  -entry_key(Entry)                    -> element(1, Entry).
   -spec entry_datatype(entry())       -> crdt:crdt_module().
   entry_datatype(Entry)               -> element(2, Entry).
   -spec entry_clients(entry())       -> [any()].
  
positive.code: entry_propval(Entry)                -> element(8, Entry).
  -spec entry_bufval(entry())        -> crdt:crdt().
  entry_bufval(Entry)                -> element(9, Entry).
  -spec entry_outval(entry())        -> crdt:crdt().
  entry_outval(Entry)                -> element(10, Entry).
  
  entry_add_client(Entry, Client) ->
      Clients = element(3, Entry),
  
negative.code: 
  
  %%%%%%%%%%%%%%%% access of learner entry
  -spec learner_learnt(entry())   -> crdt:crdt().
  learner_learnt(Entry)           -> element(3, Entry).
  
  