anchor.diff:      NewAbstr.
   
   -spec anno_to_term(Abstr) -> term() when
  -      Abstr :: erl_parse_tree().
  +      Abstr :: erl_parse_tree() | form_info().
   
   anno_to_term(Abstract) ->
       F = fun(Anno, Acc) -> {erl_anno:to_term(Anno), Acc} end,
       {NewAbstract, []} = modify_anno1(Abstract, [], F),
       NewAbstract.
   
  --spec anno_from_term(Term) -> erl_parse_tree() when
  +-spec anno_from_term(Term) -> erl_parse_tree() | form_info() when
         Term :: term().
   
   anno_from_term(Term) ->
  
positive.code:       Acc1 :: term(),
        AccIn :: term(),
        AccOut :: term(),
        Abstr :: erl_parse_tree(),
        NewAbstr :: erl_parse_tree().
  
  mapfold_anno(F, Acc0, Abstr) ->
      modify_anno1(Abstr, Acc0, F).
  
  -spec new_anno(Term) -> Abstr when
        Term :: term(),
        Abstr :: erl_parse_tree().
  
  new_anno(Term) ->
      F = fun(L, Acc) -> {erl_anno:new(L), Acc} end,
  
negative.code:       Acc1 :: term(),
        AccIn :: term(),
        AccOut :: term(),
        Abstr :: erl_parse_tree() | form_info().
  
  fold_anno(F0, Acc0, Abstr) ->
      F = fun(A, Acc) -> {A, F0(A, Acc)} end,
  