Closed egnha closed 7 years ago
If a localized predicate is not localized on any expressions, it should be implicitly regarded as a global predicate. For example, instead of having to write the verbose expression
firmly(f, globalize(vld_inherits("myClass")))
you should be able to just write
firmly(f, vld_inherits("myClass"))
If a localized predicate is not localized on any expressions, it should be implicitly regarded as a global predicate. For example, instead of having to write the verbose expression
you should be able to just write