Right now you can't just use == on an ADT. You can get around this by writing your own equality predicate, but this is some of the most tedious code you will ever write. We should automatically generate these predicates like we generate some ADT print functions.
Right now you can't just use
==on an ADT. You can get around this by writing your own equality predicate, but this is some of the most tedious code you will ever write. We should automatically generate these predicates like we generate some ADT print functions.