Move mjCWrap type to mjsWrap.

PiperOrigin-RevId: 821851540 Change-Id: I53382a8a21312a96aea46eec130f43e7cad70f92
2025-10-20 16:27:59 -07:00
parent 88ac02dad3
commit 59f14485e0
8 changed files with 111 additions and 27 deletions
@@ -10142,6 +10142,11 @@ STRUCTS: Mapping[str, StructDecl] = dict([
                 ),
                 doc='element type',
             ),
+             StructFieldDecl(
+                 name='type',
+                 type=ValueType(name='mjtWrap'),
+                 doc='wrap type',
+             ),
             StructFieldDecl(
                 name='info',
                 type=PointerType(