Predicate signature compatibleContents
Holds if a value stored with storeContents can be read back with
loadContents.
Import path
import codeql.typetracking.TypeTrackingsignature predicate compatibleContents(Content storeContents, Content loadContents)