Add mjModel.sensor_intprm, integer parameters of sensors

PiperOrigin-RevId: 781053754
Change-Id: I90e5ef1cab3f87b894dbc70dccfc8bf0046ce1b6

python/mujoco/introspect/structs.py

@@ -4149,6 +4149,14 @@ STRUCTS: Mapping[str, StructDecl] = dict([
                  doc='id of reference frame; -1: global frame',
                  array_extent=('nsensor',),
              ),
+             StructFieldDecl(
+                 name='sensor_intprm',
+                 type=PointerType(
+                     inner_type=ValueType(name='int'),
+                 ),
+                 doc='sensor parameters',
+                 array_extent=('nsensor', 'mjNSENS'),
+             ),
              StructFieldDecl(
                  name='sensor_dim',
                  type=PointerType(
@@ -10388,6 +10396,14 @@ STRUCTS: Mapping[str, StructDecl] = dict([
                  ),
                  doc='name of referenced object',
              ),
+             StructFieldDecl(
+                 name='intprm',
+                 type=ArrayType(
+                     inner_type=ValueType(name='int'),
+                     extents=(2,),
+                 ),
+                 doc='integer parameters',
+             ),
              StructFieldDecl(
                  name='datatype',
                  type=ValueType(name='mjtDataType'),