Predicate TypeTrackingInput::compatibleContents
Holds if a value stored with storeContents can be read back with loadContents.
Import path
import semmle.python.dataflow.new.internal.TypeTrackingImplpredicate compatibleContents(Content storeContents, Content loadContents)