core_lib
Functions
is_literal(C_literal) -> term()
is_literal_list(Es) -> term()
is_simple(C_var) -> term()
is_simple_list(Es) -> term()
is_simple_top(C_var) -> term()
literal_value(C_literal) -> term()
make_literal(T0) -> term()
make_literal_list(Vals) -> term()
concrete_list(T) -> term()
make_values(Es) -> term()
map(F, C_tuple) -> term()
fold(F, Acc, C_tuple) -> term()
mapfold(F, Acc0, C_tuple) -> term()
is_var_used(V, B) -> term()