Up
–
subml
» Eval
Module
Eval
Call by value evaluation
Call by value evaluation
val
eval :
Ast.term
->
Ast.term