end
class virtual status :
+ string option ->
object ('self)
inherit g_status
inherit NCicCoercion.status
NotationPt.sequent
val nmap_obj:
- #status -> NCic.obj ->
- NotationPt.term Content.cobj *
- (Content.id, NReference.reference) Hashtbl.t (* id -> reference *)
+ #status -> NCic.obj -> NotationPt.term NotationPt.obj