Module Prox

module Prox: sig  end

The proximal collection

To be written...