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)