isImplement

True if type A implements type B.

Meta