*)
-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
method ppmetasenv ~subst metasenv =
String.concat "\n"
(List.map
- (fun m -> ntxt_of_cic_sequent ~map_unicode_to_tex:true 20 self
+ (fun m -> ntxt_of_cic_sequent ~map_unicode_to_tex:true 50 self
~metasenv ~subst m) metasenv)
(*
method ppobj obj =