Gabriel Riba <griba2001 <at> gmail.com> writes: > I would like to reuse code between a SortedSet and an EqSet, for functions > that have neither ord nor eq constraint at the element. > > When I apply the unconstrained ops functor to the base one I get:
I should have said common ops. instead of unconstrained. _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
