simplify.ml 6.25 KB