Predicate signature KindValidationConfigSig::summaryKind
Holds if a summary model exists for the given kind.
signature predicate summaryKind(string kind)Holds if a summary model exists for the given kind.
signature predicate summaryKind(string kind)