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)