sig
val
const_fold :
Flx_ast
.expr_t
->
Flx_ast
.expr_t
end