module Lift(M:Map):sig..end
Functorial interface used to build lifting functions (i.e., functions that
permute the 'a bindbox type with another type constructor) for any type
equipped with a map function.
| Parameters: |
|
val lift_box : 'a Bindlib.bindbox M.t -> 'a M.t Bindlib.bindbox