string ->
object ('self)
(* Warning: #stack and #obj are meaningful iff #ng_mode is `ProofMode *)
inherit NTacStatus.tac_status
inherit NCicLibrary.dumpable_status
inherit NCicLibrary.status
string ->
object ('self)
(* Warning: #stack and #obj are meaningful iff #ng_mode is `ProofMode *)
inherit NTacStatus.tac_status
inherit NCicLibrary.dumpable_status
inherit NCicLibrary.status