Module Proofview.UnsafeRepr

This module gives access to the innards of the monad. Its use is restricted to very specific cases.