simplify.ml 7.18 KB