simplify.ml 7.07 KB