rewrite libmincaml.ml