| 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",    )
 |