simplify.ml 7.02 KB