anchor.diff:  	 end);
   type(erts_debug, same, 2, Xs) ->
     strict(arg_types(erts_debug, same, 2), Xs, fun (_) -> t_boolean() end);
  +type(erts_debug, set_internal_state, 2, _) ->
  +  t_any();
   %%-- ets ----------------------------------------------------------------------
   type(ets, all, 0, _) ->
     t_list(t_tab());
  
positive.code: 	 fun (_) -> t_sup([t_atom('false'),
  			   t_atom('undef'),
  			   t_tuple([t_integer(), t_binary(), t_mfa()])]) end);
  type(erts_debug, dist_ext_to_term, 2, Xs) ->
    strict(arg_types(erts_debug, dist_ext_to_term, 2), Xs,
  	 fun (_) -> t_any() end);
  type(erts_debug, flat_size, 1, Xs) ->
    strict(arg_types(erts_debug, flat_size, 1), Xs, fun (_) -> t_integer() end);
  type(erts_debug, lock_counters, 1, Xs) ->
    strict(arg_types(erts_debug, lock_counters, 1), Xs,
  	 fun ([Arg]) ->
  
negative.code:   [t_tuple([t_atom(), t_atom(), t_sup(t_integer(), t_atom('_'))]), t_boolean()];
  arg_types(erts_debug, disassemble, 1) ->
    [t_sup(t_mfa(), t_integer())];
  arg_types(erts_debug, display, 1) ->
    [t_any()];
  arg_types(erts_debug, dist_ext_to_term, 2) ->
    [t_tuple(), t_binary()];
  arg_types(erts_debug, dump_monitors, 1) ->
    [t_sup([t_pid(),t_atom()])];
  arg_types(erts_debug, dump_links, 1) ->
    [t_sup([t_pid(),t_atom(),t_port()])];
  arg_types(erts_debug, flat_size, 1) ->
    [t_any()];
  arg_types(erts_debug, get_internal_state, 1) ->
    [t_any()];
  arg_types(erts_debug, lock_counters, 1) ->
    [t_sup([t_atom(enabled),
  