Predicate signature TypeTrackingInput::compatibleContents
Holds if a value stored with storeContents can be read back with
loadContents.
signature predicate compatibleContents(Content storeContents, Content loadContents)Holds if a value stored with storeContents can be read back with
loadContents.
signature predicate compatibleContents(Content storeContents, Content loadContents)