View source on GitHub

Determines whether target_type is assignable from source_type.

target_type The expected type (that of the target of the assignment).
source_type The actual type (that of the source of the assignment), tested for being a specialization of the target_type.

True iff target_type is assignable from source_type, or else False.

TypeError If the arguments are not TFF types.