I changed the definition of totalorder so that it doesn't totally order among differing redundant declet representations. We can fix that today if it's not what we really want.
754 | revision | FAQ | references | list archive