functor (M : Map2) ->
  sig
    val lift_box :
      ('a Bindlib.bindbox, 'b Bindlib.bindbox) M.t ->
      ('a, 'b) M.t Bindlib.bindbox
  end