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