If == is an equivalence relation to T, then T is equivalence_eq. More...
#include <congruence.hh>
If == is an equivalence relation to T, then T is equivalence_eq.
Copyright © 2011 Uni Research
Generated on Tue Oct 18 2011 00:23:33 by doxygen 1.7.3 for Catsfoot 0.1.