On 7/10/2012 6:07 PM, Timon Gehr wrote: > (conceptually, the structures are immutable and infinite.) What a minute - how are you doing toHash for an infinite structure? The only way you could is by doing toHash on the initial condition for it. And that could be made const. Same for opEquals.