| 123456789101112131415161718192021 | 
							- def setup(app):
 
-     app.add_crossref_type(
 
-         directivename="setting",
 
-         rolename="setting",
 
-         indextemplate="pair: %s; setting",
 
-     )
 
-     app.add_crossref_type(
 
-         directivename="sig",
 
-         rolename="sig",
 
-         indextemplate="pair: %s; sig",
 
-     )
 
-     app.add_crossref_type(
 
-         directivename="state",
 
-         rolename="state",
 
-         indextemplate="pair: %s; state",
 
-     )
 
-     app.add_crossref_type(
 
-         directivename="control",
 
-         rolename="control",
 
-         indextemplate="pair: %s; control",
 
-     )
 
 
  |