Member predicate Make::Public::MakeNeutralCallable::NeutralCallable::hasProvenance
Holds if the neutral has provenance p
.
predicate hasProvenance(Provenance provenance)
Holds if the neutral has provenance p
.
predicate hasProvenance(Provenance provenance)