anchor.diff:  flat_format(Fmt, Lst) ->
     lists:flatten(io_lib:format(Fmt, Lst)).
   
  --spec get_options_with_tag(atom(), cerl:module()) -> [term()].
  +-spec get_options_with_tag(atom(), cerl:c_module()) -> [term()].
   
   get_options_with_tag(Tag, Core) ->
     [O || {Key, Value} <- cerl:module_attrs(Core),
  
positive.code:   end;
  process_options([], _Warnings) -> [].
  
  -spec get_nowarn_unused_function(module(), cerl:module(), [fa()]) ->
                                      [{mfa(), 'no_unused'}].
  
  get_nowarn_unused_function(M, Core, Functions) ->
  
negative.code: -type spec_map()     :: dialyzer_codeserver:contracts().
  -type callback_map() :: dialyzer_codeserver:contracts().
  
  -spec get_spec_info(module(), cerl:c_module(), type_table()) ->
          {'ok', spec_map(), callback_map()} | {'error', string()}.
  
  get_spec_info(ModName, Core, RecordsMap) ->
  