simplify.ml 7.19 KB