anchor.diff:  %%% ---------------------------------------------------
   %%% This is a general process supervisor built upon gen_server.erl.
   %%% Servers/processes should/could also be built using gen_server.erl.
  -%%% SupName = {local, atom()} | {global, atom()}.
  +%%% SupName = {local, atom()} | {global, term()}.
   %%% ---------------------------------------------------
   
   -type startlink_err() :: {'already_started', pid()}
  
positive.code: %%-----------------------------------------------------------------
  %% Func: terminate_children/2
  %% Args: Children = children() % Ids in termination order
  %%       SupName = {local, atom()} | {global, atom()} | {pid(),Mod}
  %% Returns: NChildren = children() % Ids in startup order
  %%                                 % (reversed termination order)
  %%-----------------------------------------------------------------
  
negative.code: -type shutdown()      :: 'brutal_kill' | timeout().
  -type worker()        :: 'worker' | 'supervisor'.
  -type sup_name()      :: {'local', Name :: atom()}
                         | {'global', Name :: term()}
                         | {'via', Module :: module(), Name :: any()}.
  -type sup_ref()       :: (Name :: atom())
                         | {Name :: atom(), Node :: node()}
                         | {'global', Name :: term()}
                         | {'via', Module :: module(), Name :: any()}
                         | pid().
  -type child_spec()    :: #{id := child_id(),             % mandatory
  