- | D.Abst ws ->
- let e = D.push_bind C.start e a (D.Abst []) in
- let attrs = [XL.name ns; XL.mark a; XL.arity (List.length ws)] in
+ | D.Abst (n, ws) ->
+ let e = D.push_bind C.start e a (D.Abst (n, ws)) in
+ let attrs = [XL.level n; XL.name ns; XL.mark a; XL.arity (List.length ws)] in