| ERROR | Nested Table equality requires a map method on the element ADT |
| CAUSE | Nested Table equality was tried where the element ADT did not have a map method defined on it. |
| ACTION | Define a map method on the element ADT.. |
| ERROR | Nested Table equality requires a map method on the element ADT |
| CAUSE | Nested Table equality was tried where the element ADT did not have a map method defined on it. |
| ACTION | Define a map method on the element ADT.. |