anchor.diff:  %%
   -spec map(id(), function(), id(), store()) -> ok.
   map(Id, Function, AccId, Store) ->
  -    BindFun = fun(_AccId, AccValue, _Variables) ->
  -            ?MODULE:bind(_AccId, AccValue, _Variables)
  -    end,
  -    ReadFun = fun(_Id, _Threshold, _Variables) ->
  -            ?MODULE:read(_Id, _Threshold, _Variables)
  -    end,
  -    map(Id, Function, AccId, Store, BindFun, ReadFun).
  +    map(Id, Function, AccId, Store, ?BIND, ?READ).
   
   %% @doc Compute the intersection of two sets.
   %%
  
positive.code:          intersection/7,
           fold/6]).
  
  %% Erlang 17.
  -ifdef(namespaced_types).
  -type lasp_dict() :: dict:dict().
  
negative.code: %%
  -spec fold(id(), function(), id(), store()) -> ok.
  fold(Id, Function, AccId, Store) ->
      fold(Id, Function, AccId, Store, ?BIND, ?READ).
  
  %% @doc Map values from one lattice into another.
  %%
  