Jorge Aparicio 54068eea42 Update Partial/Total Eq/Ord terminology

2014-11-07 19:19:36 -05:00

..

eq.rs

Update Partial/Total Eq/Ord terminology

2014-11-07 19:19:36 -05:00

ord.rs

Update Partial/Total Eq/Ord terminology

2014-11-07 19:19:36 -05:00

totaleq.rs

Fallout from renaming

2014-09-16 14:37:48 -07:00

totalord.rs

Update Partial/Total Eq/Ord terminology

2014-11-07 19:19:36 -05:00