values are duplicated

[agarwal]

In Result, we have val map show up twice. I'm guessing this is because the mli file has the value both explicitly specified and included via an include statement.

In this case, both definitions are equivalent. In general, later definitions override previous ones. Thus, the correct solution is to keep only the latest one.