method virtual ppterm: context:context -> subst:substitution ->
metasenv:metasenv -> ?margin:int -> ?inside_fix:bool -> term -> string
method virtual ppterm: context:context -> subst:substitution ->
metasenv:metasenv -> ?margin:int -> ?inside_fix:bool -> term -> string