*)
-class status =
+class status uid =
object(self)
- inherit Interpretations.status
- inherit TermContentPres.status
- inherit NCicPp.status
+ inherit Interpretations.status uid
+ inherit TermContentPres.status uid
+ inherit NCicPp.status uid
(*
method ppterm ~context ~subst ~metasenv ?margin ?inside_fix t =
NCicPp.ppterm ~metasenv ~subst ~context t