inherit Interpretations.status
inherit TermContentPres.status
method ppterm ~context ~subst ~metasenv ?margin ?inside_fix t =
inherit Interpretations.status
inherit TermContentPres.status
method ppterm ~context ~subst ~metasenv ?margin ?inside_fix t =