magic_set_rewritting2.ml 9.96 KB