Order \b this with another data-type, in a way suitable for the type propagation algorithm. Bigger types come earlier. More specific types come earlier. \param op is the data-type to compare with \b this \param level is maximum level to descend when recursively comparing \return negative, 0, positive depending on ordering of types
source not stored for this graph (policy: none)
no test coverage detected