anchor.diff:    strict(arg_types(erlang, is_boolean, 1), Xs, Fun);
   type(erlang, is_builtin, 3, Xs) ->
     strict(arg_types(erlang, is_builtin, 3), Xs, fun (_) -> t_boolean() end);
  -type(erlang, is_constant, 1, Xs) ->
  -  Fun = fun (X) ->
  -	    check_guard(X, fun (Y) -> t_is_constant(Y) end, t_constant())
  -	end,
  -  strict(arg_types(erlang, is_constant, 1), Xs, Fun);
   type(erlang, is_float, 1, Xs) ->
     Fun = fun (X) ->
   	    check_guard(X, fun (Y) -> t_is_float(Y) end, t_float())
  
positive.code:   [t_any()];
  arg_types(erlang, is_builtin, 3) ->
    [t_atom(), t_atom(), t_arity()];
  arg_types(erlang, is_constant, 1) ->
    [t_any()];
  arg_types(erlang, is_float, 1) ->
    [t_any()];
  arg_types(erlang, is_function, 1) ->
  
negative.code: 		    t_is_bitstr/1,
  		    t_is_boolean/1,
  		    t_is_cons/1,
  		    t_is_float/1,
  		    t_is_float/1,
  		    t_is_fun/1,
  