core_lib

Functions


get_anno(C) -> term()

set_anno(C, A) -> term()

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()

free_vars(E) -> term()

View Functions