XL.tag XL.appl attrs ~contents:(exp_term st e v) out tab;
and exp_bind st e a b out tab = match b with
- | D.Abst (n, w) ->
+ | D.Abst (_, n, w) ->
let attrs = [XL.layer 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 ->
+ | D.Abbr v ->
let attrs = [XL.name a] in
XL.tag XL.abbr attrs ~contents:(exp_term st e v) out tab
- | D.Void ->
+ | D.Void ->
let attrs = [XL.name a] in
XL.tag XL.void attrs out tab