package bindlib

  1. Overview
  2. Docs

Module Bindlib.LiftSource

Functorial interface used to build lifting functions for any type equipped with a map function. In other words, this function can be used to allow the permutation of the 'a box type with another type constructor.

Parameters

module M : Map

Signature

Sourceval lift_box : 'a box M.t -> 'a M.t box