let compare_constants = MConst.compare Pervasives.compare