iceval

Functions

eval_const(G, S, N, TK, Expr) -> term()

check_tk(G, Any, V) -> term()

get_val(X) -> term()

eval_e(G, S, N, Tk, X) -> term()

mk_val(X) -> term()

View Functions