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