anchor.diff:  -type spec_map()     :: dialyzer_codeserver:contracts().
   -type callback_map() :: dialyzer_codeserver:contracts().
   
  --spec get_spec_info(module(), cerl:module(), type_table()) ->
  +-spec get_spec_info(module(), cerl:c_module(), type_table()) ->
           {'ok', spec_map(), callback_map()} | {'error', string()}.
   
   get_spec_info(ModName, Core, RecordsMap) ->
  
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 type_table() :: erl_types:type_table().
  
  -spec get_record_and_type_info(cerl:c_module()) ->
          {'ok', type_table()} | {'error', string()}.
  
  get_record_and_type_info(Core) ->
  