-let lift_bind g h d = function
- | B.Void _ as b -> g b
- | B.Abst (a, w) -> let g w = g (B.abst a w) in lift g h d w
- | B.Abbr (a, v) -> let g v = g (B.abbr a v) in lift g h d v
+let lift_bind h d = function
+ | B.Void _ as b -> b
+ | B.Abst (a, w) -> B.abst a (lift h d w)
+ | B.Abbr (a, v) -> B.abbr a (lift h d v)