- | ra, na, uri, Abst t ->
- let f t = f (ra, na, uri, Abst t) in xlate_term f t
- | ra, na, uri, Abbr t ->
- let f t = f (ra, na, uri, Abbr t) in xlate_term f t
- | _, _, _, Void ->
+ | ra, na, uri, Abst (a, t) ->
+ let f t = f (ra, na, uri, abst a t) in xlate_term f t
+ | ra, na, uri, Abbr (a, t) ->
+ let f t = f (ra, na, uri, abbr a t) in xlate_term f t
+ | _, _, _, Void ->