- | B.Sort (a, l) -> f (D.TSort (a, l))
- | B.GRef (a, n) -> f (D.TGRef (a, n))
- | B.LRef (a, i) -> f (D.TLRef (a, i))
- | B.Cast (a, u, t) ->
- let f tt uu = f (D.TCast (a, uu, tt)) in
+ | B.Sort k -> f (D.TSort k)
+ | B.GRef (a, n) -> f (D.TGRef (a, n))
+ | B.LRef (a, i) -> f (D.TLRef (a, i))
+ | B.Cast (u, t) ->
+ let f tt uu = f (D.TCast (uu, tt)) in