It is either a PassStyle other than 'tagged', or, if the underlying
PassStyle is 'tagged', then the getTag value for tags that are
recognized at the @endo/patterns level of abstraction. For each of those
tags, a tagged record only has that kind if it satisfies the invariants
that the @endo/patterns level associates with that kind.
It is either a PassStyle other than 'tagged', or, if the underlying PassStyle is 'tagged', then the
getTag
value for tags that are recognized at the @endo/patterns level of abstraction. For each of those tags, a tagged record only has that kind if it satisfies the invariants that the @endo/patterns level associates with that kind.