- (status#ppterm ~subst ~metasenv ~context he)
- (status#ppterm ~subst ~metasenv ~context arg)
- (status#ppterm ~subst ~metasenv ~context ty_arg)
- (status#ppterm ~subst ~metasenv ~context s)
+ (indent (status#ppterm ~subst ~metasenv ~context he))
+ (indent (status#ppterm ~subst ~metasenv ~context arg))
+ (indent (status#ppterm ~subst ~metasenv ~context ty_arg))
+ (indent (status#ppterm ~subst ~metasenv ~context s))