end
class virtual pstatus :
- NCic.obj ->
+ string option -> NCic.obj ->
object ('self)
inherit g_pstatus
inherit GrafiteDisambiguate.status
end
class virtual ['stack] status :
- NCic.obj -> 'stack ->
+ string option -> NCic.obj -> 'stack ->
object ('self)
inherit ['stack] g_status
inherit pstatus