Member predicate OrdPrimitiveType :: widerThanOrEqualTo
predicate
widerThanOrEqualTo
(
OrdPrimitiveType
that
)