method obj: NCic.obj
end
-class virtual pstatus =
+class virtual pstatus uid =
fun (o: NCic.obj) ->
object (self)
- inherit GrafiteDisambiguate.status
+ inherit GrafiteDisambiguate.status uid
inherit auto_status
inherit eq_status
val obj = o
method stack: 'stack
end
-class virtual ['stack] status =
+class virtual ['stack] status uid =
fun (o: NCic.obj) (s: 'stack) ->
object (self)
- inherit (pstatus o)
+ inherit (pstatus uid o)
val stack = s
method stack = stack
method set_stack s = {< stack = s >}