Type alias Kind

Kind: Exclude<PassStyle, "tagged"> | "copySet" | "copyBag" | "copyMap" | `match:${any}` | `guard:${any}`

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.