anchor.diff:    [t_sup(t_pid(), t_port()), t_any()];
   arg_types(erlang, external_size, 1) ->
     [t_any()]; % takes any term as input
  +arg_types(erlang, finish_after_on_load, 2) ->
  +  [t_atom(), t_boolean()];
   arg_types(erlang, float, 1) ->
     [t_number()];
   arg_types(erlang, float_to_list, 1) ->
  
positive.code: type(erlang, erase, 0, _) -> t_any();
  type(erlang, erase, 1, _) -> t_any();
  type(erlang, external_size, 1, _) -> t_integer();
  type(erlang, float, 1, Xs) ->
    strict(arg_types(erlang, float, 1), Xs, fun (_) -> t_float() end);
  type(erlang, float_to_list, 1, Xs) ->
  
negative.code:   [t_pos_fixnum()];
  arg_types(erlang, byte_size, 1) ->
    [t_binary()];
  arg_types(erlang, call_on_load_function, 1) ->
    [t_atom()];
  arg_types(erlang, cancel_timer, 1) ->
    [t_reference()];
  arg_types(erlang, check_process_code, 2) ->
  