odule"><a href="Numeric-MixedTypes-Ord.html#t:HasOrderCertainly">Numeric.MixedTypes.Ord</a>, MixedTypesNumPrelude</td></tr><tr><td class="src">HasOrderCertainlyAsymmetric</td><td class="module"><a href="Numeric-MixedTypes-Ord.html#t:HasOrderCertainlyAsymmetric">Numeric.MixedTypes.Ord</a>, MixedTypesNumPrelude</td></tr><tr><td class="src">HasOrderCertainlyCE</td><td class="module"><a href="Numeric-MixedTypes-Ord.html#t:HasOrderCertainlyCE">Numeric.MixedTypes.Ord</a>, MixedTypesNumPrelude</td></tr><tr><td cla