Searched refs:extension_def (Results 1 – 1 of 1) sorted by relevance
478 def extension_def(self): member in ExtensionField802 yield ext.extension_def() + '\n'