2 PP0019
Wenlu Wang edited this page 2018-01-15 18:28:02 +08:00

An abstract value with the same name exists.

All abstract values defined in the environment must have a unique name. Make sure that you have not used the same name for more than one abstract values.