Searched refs:extension_decl (Results 1 – 2 of 2) sorted by relevance
652 def extension_decl(self): member in ExtensionField1114 yield extension.extension_decl()
738 def extension_decl(self): member in ExtensionField1210 yield extension.extension_decl()