Member predicate Type::Type::isImplicitlyConvertibleTo

Holds if this type is implicitly convertible to that type.

predicate isImplicitlyConvertibleTo(Type that)