simplify.ml 6.43 KB