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