package bindlib

  1. Overview
  2. Docs

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

Parameters

module M : Map2

Signature

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