Module macros

Macros

TrivialTypeTraversalImpls 🔒

Used for types that are Copy and which do not care arena allocated data (i.e., don’t need to be folded).