Searched refs:extension_decl (Results 1 – 1 of 1) sorted by relevance
469 def extension_decl(self): member in ExtensionField746 yield extension.extension_decl()