inherit ([Continuationals.Stack.t] NTacStatus.status fake_obj (Continuationals.Stack.empty))
inherit NCicLibrary.dumpable_status
inherit NCicLibrary.status
+ inherit NCicExtraction.status
+ inherit OcamlExtractionTable.status
inherit GrafiteParser.status
inherit TermContentPres.status
val baseuri = b