d2501eff68
This will be useful for simplifying the mjSpec API for plugins. PiperOrigin-RevId: 772505558 Change-Id: I8eb57d7e129e0f6430fb4c610a543e0dc0f3b295