and exp_bind st e a b out tab = match b with
| D.Abst (n, w) ->
- let attrs = [XL.level st n; XL.name a] in
+ let attrs = [XL.level st n; XL.name a; XL.kind a] in
XL.tag XL.abst attrs ~contents:(exp_term st e w) out tab
| D.Abbr v ->
let attrs = [XL.name a] in