查看源代码 erl_internal (stdlib v6.2)

-spec add_predefined_functions(Forms) -> UpdatedForms
                                  when
                                      Forms :: [erl_parse:abstract_form() | erl_parse:form_info()],
                                      UpdatedForms ::
                                          [erl_parse:abstract_form() | erl_parse:form_info()].

将标准预定义函数（例如 module_info/0）的代码添加到 Forms 中，这些代码将包含在每个模块中。

arith_op(OpName, Arity)

-spec arith_op(OpName, Arity) -> boolean() when OpName :: atom(), Arity :: arity().

如果 OpName/Arity 是算术运算符，则返回 true，否则返回 false。

bif(Name, Arity)

-spec bif(Name, Arity) -> boolean() when Name :: atom(), Arity :: arity().

如果 Name/Arity 是编译器自动识别的 Erlang BIF，则返回 true，否则返回 false。

bool_op(OpName, Arity)

-spec bool_op(OpName, Arity) -> boolean() when OpName :: atom(), Arity :: arity().

如果 OpName/Arity 是布尔运算符，则返回 true，否则返回 false。

comp_op(OpName, Arity)

-spec comp_op(OpName, Arity) -> boolean() when OpName :: atom(), Arity :: arity().

如果 OpName/Arity 是比较运算符，则返回 true，否则返回 false。

guard_bif(Name, Arity)

-spec guard_bif(Name, Arity) -> boolean() when Name :: atom(), Arity :: arity().

如果 Name/Arity 是允许在 guard 中使用的 Erlang BIF，则返回 true，否则返回 false。

list_op(OpName, Arity)

-spec list_op(OpName, Arity) -> boolean() when OpName :: atom(), Arity :: arity().

如果 OpName/Arity 是列表运算符，则返回 true，否则返回 false。

op_type(OpName, Arity)

-spec op_type(OpName, Arity) -> Type
                 when OpName :: atom(), Arity :: arity(), Type :: arith | bool | comp | list | send.

返回 OpName/Arity 所属运算符的 Type，如果它不是运算符，则生成 function_clause 错误。

send_op(OpName, Arity)

-spec send_op(OpName, Arity) -> boolean() when OpName :: atom(), Arity :: arity().

如果 OpName/Arity 是发送运算符，则返回 true，否则返回 false。

type_test(Name, Arity)

-spec type_test(Name, Arity) -> boolean() when Name :: atom(), Arity :: arity().

如果 Name/Arity 是有效的 Erlang 类型测试，则返回 true，否则返回 false。