Removed unused value.ml