simplify.ml 7 KB