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.bindbox, 'b Bindlib.bindbox) M.t -> ('a, 'b) M.t Bindlib.bindbox
('a Bindlib.bindbox, 'b Bindlib.bindbox) M.t -> ('a, 'b) M.t Bindlib.bindbox