Module Eval

Call by value evaluation

val eval : Ast.term -> Ast.term