module Lift(M:Map):sig..end
Functorial interface used to build lifting functions for any type equipped
with a map function. In other words, this function can be used to allow
the permutation of the 'a box type with another type constructor.
| Parameters: |
|
val lift_box : 'a Bindlib.box M.t -> 'a M.t Bindlib.box