module Lift2 (M : Map2) : sig .. end
(
M
:
Map2
)
sig
end
Similar to the Lift functor, but handles "binary" map functions.
Lift
map
val lift_box : ('a Bindlib.box, 'b Bindlib.box) M.t -> ('a, 'b) M.t Bindlib.box
('a Bindlib.box, 'b Bindlib.box) M.t -> ('a, 'b) M.t Bindlib.box