- | E.Abst w -> tag "ABST" attrs ~contents:(pp_term w)
- | E.Abbr v -> tag "ABBR" attrs ~contents:(pp_term v)
- | E.Void -> assert false
+ | E.Abst (n, w) -> tag "ABST" (level n :: attrs) ~contents:(pp_term w)
+ | E.Abbr v -> tag "ABBR" attrs ~contents:(pp_term v)
+ | E.Void -> assert false