Functor Bindlib.Lift2

module Lift2 (M : Map2) : sig .. end

Similar to the Lift functor, but handles "binary" map functions.

Parameters:
M : Map2

val lift_box : ('a Bindlib.box, 'b Bindlib.box) M.t -> ('a, 'b) M.t Bindlib.box