anchor.diff:  
   is_new_predefined(_, _) -> false.
   
  +-spec to_ref(t_typedef() | t_def() | t_type() | t_name()) -> edoc_refs:t().
   to_ref(#t_typedef{name = N}) ->
       to_ref(N);
   to_ref(#t_def{name = N}) ->
  
positive.code: infer_module_app(Other) ->
      Other.
  
  to_xml(#t_var{name = N}, _Env) ->
      {typevar, [{name, atom_to_list(N)}], []};
  to_xml(#t_name{module = [], name = N}, _Env) ->
  
negative.code: -include("edoc_types.hrl").
  -include_lib("xmerl/include/xmerl.hrl").
  
  -type t_spec() :: #t_spec{name :: t_name(),
                            type :: t_fun(),
                            defs :: [t_def()]}.
  %% Function specification.
  
  -type type() :: t_atom() | t_binary() | t_float() | t_fun() | t_integer()
  